diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-17 13:04:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-17 13:04:09 -0700 |
| commit | 083c1218e5a1742e881d0ce9e90c8cd0b53748a7 (patch) | |
| tree | db65ee088ff13e2142f7c4e2304bb82a5d37e4d6 /src/base/main | |
| parent | fb769cf9aba46b9c3b690618d7479740917af029 (diff) | |
| download | abc-083c1218e5a1742e881d0ce9e90c8cd0b53748a7.tar.gz abc-083c1218e5a1742e881d0ce9e90c8cd0b53748a7.tar.bz2 abc-083c1218e5a1742e881d0ce9e90c8cd0b53748a7.zip | |
Improving MFFC computation code.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/main.h | 3 | ||||
| -rw-r--r-- | src/base/main/mainFrame.c | 4 | ||||
| -rw-r--r-- | src/base/main/mainInt.h | 2 |
3 files changed, 6 insertions, 3 deletions
diff --git a/src/base/main/main.h b/src/base/main/main.h index 9ef8b6ff..a310972d 100644 --- a/src/base/main/main.h +++ b/src/base/main/main.h @@ -106,7 +106,7 @@ extern ABC_DLL void * Abc_FrameReadManDec(); extern ABC_DLL void * Abc_FrameReadManDsd(); extern ABC_DLL void * Abc_FrameReadManDsd2(); extern ABC_DLL Vec_Ptr_t * Abc_FrameReadSignalNames(); -extern ABC_DLL int * Abc_FrameReadGateCounts(); +extern ABC_DLL char * Abc_FrameReadSpecName(); extern ABC_DLL char * Abc_FrameReadFlag( char * pFlag ); extern ABC_DLL int Abc_FrameIsFlagEnabled( char * pFlag ); @@ -150,6 +150,7 @@ extern ABC_DLL void Abc_FrameSetStr( Vec_Str_t * vInv ); extern ABC_DLL void Abc_FrameSetJsonStrs( Abc_Nam_t * pStrs ); extern ABC_DLL void Abc_FrameSetJsonObjs( Vec_Wec_t * vObjs ); extern ABC_DLL void Abc_FrameSetSignalNames( Vec_Ptr_t * vNames ); +extern ABC_DLL void Abc_FrameSetSpecName( char * pFileName ); extern ABC_DLL int Abc_FrameCheckPoConst( Abc_Frame_t * p, int iPoNum ); diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c index 2743a90a..b7d76e93 100644 --- a/src/base/main/mainFrame.c +++ b/src/base/main/mainFrame.c @@ -68,7 +68,7 @@ void * Abc_FrameReadManDsd() { return s_GlobalFr void * Abc_FrameReadManDsd2() { return s_GlobalFrame->pManDsd2; } char * Abc_FrameReadFlag( char * pFlag ) { return Cmd_FlagReadByName( s_GlobalFrame, pFlag ); } Vec_Ptr_t * Abc_FrameReadSignalNames() { return s_GlobalFrame->vSignalNames; } -int * Abc_FrameReadGateCounts() { return s_GlobalFrame->pGateCounts; } +char * Abc_FrameReadSpecName() { return s_GlobalFrame->pSpecName; } int Abc_FrameReadBmcFrames( Abc_Frame_t * p ) { return s_GlobalFrame->nFrames; } int Abc_FrameReadProbStatus( Abc_Frame_t * p ) { return s_GlobalFrame->Status; } @@ -105,6 +105,7 @@ void Abc_FrameSetInv( Vec_Int_t * vInv ) { Vec_IntFreeP(&s_G void Abc_FrameSetJsonStrs( Abc_Nam_t * pStrs ) { Abc_NamDeref( s_GlobalFrame->pJsonStrs ); s_GlobalFrame->pJsonStrs = pStrs; } void Abc_FrameSetJsonObjs( Vec_Wec_t * vObjs ) { Vec_WecFreeP(&s_GlobalFrame->vJsonObjs ); s_GlobalFrame->vJsonObjs = vObjs; } void Abc_FrameSetSignalNames( Vec_Ptr_t * vNames ) { if ( s_GlobalFrame->vSignalNames ) Vec_PtrFreeFree( s_GlobalFrame->vSignalNames ); s_GlobalFrame->vSignalNames = vNames; } +void Abc_FrameSetSpecName( char * pFileName ) { ABC_FREE( s_GlobalFrame->pSpecName ); s_GlobalFrame->pSpecName = pFileName; } int Abc_FrameIsBatchMode() { return s_GlobalFrame ? s_GlobalFrame->fBatchMode : 0; } @@ -236,6 +237,7 @@ void Abc_FrameDeallocate( Abc_Frame_t * p ) Vec_PtrFreeP( &p->vLTLProperties_global ); if ( p->vSignalNames ) Vec_PtrFreeFree( p->vSignalNames ); + ABC_FREE( p->pSpecName ); Abc_FrameDeleteAllNetworks( p ); ABC_FREE( p->pDrivingCell ); ABC_FREE( p->pCex2 ); diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 9eaa03d1..e860878e 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -134,7 +134,7 @@ struct Abc_Frame_t_ Vec_Ptr_t * vPlugInComBinPairs; // pairs of command and its binary name Vec_Ptr_t * vLTLProperties_global; // related to LTL Vec_Ptr_t * vSignalNames; // temporary storage for signal names - int pGateCounts[5];// temporary gate counts + char * pSpecName; void * pSave1; void * pSave2; void * pSave3; |