From 2f69fa134e387698c05ea5c1c47f19684e99961f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 2 Mar 2017 20:50:56 -0800 Subject: Moving global declarations into 'abcapi.h' and moving it into 'main' package. --- src/aig/miniaig/abcapis.h | 84 ----------------------------------------------- 1 file changed, 84 deletions(-) delete mode 100644 src/aig/miniaig/abcapis.h (limited to 'src/aig') diff --git a/src/aig/miniaig/abcapis.h b/src/aig/miniaig/abcapis.h deleted file mode 100644 index eb8586fe..00000000 --- a/src/aig/miniaig/abcapis.h +++ /dev/null @@ -1,84 +0,0 @@ -/**CFile**************************************************************** - - FileName [abcapis.h] - - SystemName [ABC: Logic synthesis and verification system.] - - PackageName [Include this file in the external code calling ABC.] - - Synopsis [External declarations.] - - Author [Alan Mishchenko] - - Affiliation [UC Berkeley] - - Date [Ver. 1.0. Started - September 29, 2012.] - - Revision [$Id: abcapis.h,v 1.00 2012/09/29 00:00:00 alanmi Exp $] - -***********************************************************************/ - -#ifndef MINI_AIG__abc_apis_h -#define MINI_AIG__abc_apis_h - -//////////////////////////////////////////////////////////////////////// -/// INCLUDES /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// PARAMETERS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// BASIC TYPES /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// MACRO DEFINITIONS /// -//////////////////////////////////////////////////////////////////////// - -//////////////////////////////////////////////////////////////////////// -/// FUNCTION DECLARATIONS /// -//////////////////////////////////////////////////////////////////////// - -// procedures to start and stop the ABC framework -extern void Abc_Start(); -extern void Abc_Stop(); - -// procedures to get the ABC framework (pAbc) and execute commands in it -extern void * Abc_FrameGetGlobalFrame(); -extern int Cmd_CommandExecute( void * pAbc, char * pCommandLine ); - -// procedures to input/output 'mini AIG' -extern void Abc_NtkInputMiniAig( void * pAbc, void * pMiniAig ); -extern void * Abc_NtkOutputMiniAig( void * pAbc ); -extern void Abc_FrameGiaInputMiniAig( void * pAbc, void * p ); -extern void * Abc_FrameGiaOutputMiniAig( void * pAbc ); -extern void Abc_NtkSetFlopNum( void * pAbc, int nFlops ); - -// procedures to input/output 'mini LUT' -extern void Abc_FrameGiaInputMiniLut( void * pAbc, void * pMiniLut ); -extern void * Abc_FrameGiaOutputMiniLut( void * pAbc ); - -// procedures to set CI/CO arrival/required times -extern void Abc_NtkSetCiArrivalTime( void * pAbc, int iCi, float Rise, float Fall ); -extern void Abc_NtkSetCoRequiredTime( void * pAbc, int iCo, float Rise, float Fall ); - -// procedure to set AND-gate delay to tech-independent synthesis and mapping -extern void Abc_NtkSetAndGateDelay( void * pAbc, float Delay ); - -// procedures to return the mapped network -extern int * Abc_NtkOutputMiniMapping( void * pAbc ); -extern void Abc_NtkPrintMiniMapping( int * pArray ); - -// procedures to access verifization status and a counter-example -extern int Abc_FrameReadProbStatus( void * pAbc ); -extern void * Abc_FrameReadCex( void * pAbc ); - - -#endif - -//////////////////////////////////////////////////////////////////////// -/// END OF FILE /// -//////////////////////////////////////////////////////////////////////// - -- cgit v1.2.3