diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-29 15:38:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-29 15:38:44 +0700 |
| commit | ce38474c74176b25bb244f7d17777517f0e9e6e4 (patch) | |
| tree | 33f18a4147bf9a65677b9807a74bb9655f42ed04 /src/aig/gia/gia.h | |
| parent | 581daaeade7e3b7bfef4bf90b5f3ace0e7fb4a5e (diff) | |
| download | abc-ce38474c74176b25bb244f7d17777517f0e9e6e4.tar.gz abc-ce38474c74176b25bb244f7d17777517f0e9e6e4.tar.bz2 abc-ce38474c74176b25bb244f7d17777517f0e9e6e4.zip | |
Improving and updating the abstraction code.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 2a8e6664..195abcc9 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -34,6 +34,7 @@ #include "vec.h" #include "utilCex.h" +#include "giaAbs.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// @@ -195,8 +196,6 @@ extern int Gia_ManSimSimulate( Gia_Man_t * pAig, Gia_ParSim_t * pPars ); static inline int Gia_IntAbs( int n ) { return (n < 0)? -n : n; } -//static inline int Gia_Float2Int( float Val ) { return *((int *)&Val); } -//static inline float Gia_Int2Float( int Num ) { return *((float *)&Num); } static inline int Gia_Float2Int( float Val ) { union { int x; float y; } v; v.y = Val; return v.x; } static inline float Gia_Int2Float( int Num ) { union { int x; float y; } v; v.x = Num; return v.y; } static inline int Gia_Base2Log( unsigned n ) { int r; if ( n < 2 ) return n; for ( r = 0, n--; n; n >>= 1, r++ ); return r; } @@ -597,6 +596,12 @@ static inline int Gia_ObjLutFanin( Gia_Man_t * p, int Id, int i ) { re /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +/*=== giaAbs.c ===========================================================*/ +extern void Gia_ManCexAbstractionStart( Gia_Man_t * p, Gia_ParAbs_t * pPars ); +Gia_Man_t * Gia_ManCexAbstractionDerive( Gia_Man_t * pGia ); +int Gia_ManCexAbstractionRefine( Gia_Man_t * pGia, Abc_Cex_t * pCex, int fTryFour, int fSensePath, int fVerbose ); +extern int Gia_ManPbaPerform( Gia_Man_t * pGia, int nFrames, int nConfLimit, int fVerbose ); +extern int Gia_ManCbaPerform( Gia_Man_t * pGia, void * pPars ); /*=== giaAiger.c ===========================================================*/ extern int Gia_FileSize( char * pFileName ); extern Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck ); |