diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 21:21:25 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-01 21:21:25 -0800 |
| commit | ffaf8b39ae2854d811f22bb123ddbfe977252f46 (patch) | |
| tree | 2aec12366f04094c065e1f4a947b8c33b2094d43 /src/base/cba | |
| parent | d9ed88f6a071cc3f4a1d8a132db653cb80ad45fa (diff) | |
| download | abc-ffaf8b39ae2854d811f22bb123ddbfe977252f46.tar.gz abc-ffaf8b39ae2854d811f22bb123ddbfe977252f46.tar.bz2 abc-ffaf8b39ae2854d811f22bb123ddbfe977252f46.zip | |
Improvements and tuning of CBA.
Diffstat (limited to 'src/base/cba')
| -rw-r--r-- | src/base/cba/cba.h | 4 | ||||
| -rw-r--r-- | src/base/cba/cbaCom.c | 14 |
2 files changed, 9 insertions, 9 deletions
diff --git a/src/base/cba/cba.h b/src/base/cba/cba.h index e09baadc..f1b94390 100644 --- a/src/base/cba/cba.h +++ b/src/base/cba/cba.h @@ -740,8 +740,8 @@ static inline char * Ptr_TypeToSop( Cba_ObjType_t Type ) } /*=== cbaCom.c ===============================================================*/ -extern void Abc_FrameImportDes( Vec_Ptr_t * vDes ); -extern Vec_Ptr_t * Abc_FrameExportDes(); +extern void Abc_FrameImportPtr( Vec_Ptr_t * vPtr ); +extern Vec_Ptr_t * Abc_FrameExportPtr(); /*=== cbaBlast.c =============================================================*/ extern Gia_Man_t * Cba_ManExtract( Cba_Man_t * p, int fBuffers, int fVerbose ); diff --git a/src/base/cba/cbaCom.c b/src/base/cba/cbaCom.c index 4b0fd68b..73c479d5 100644 --- a/src/base/cba/cbaCom.c +++ b/src/base/cba/cbaCom.c @@ -56,7 +56,7 @@ static inline void Cba_AbcUpdateMan( Abc_Frame_t * pAbc, Cba_Man_t * p ) SeeAlso [] ******************************************************************************/ -void Abc_FrameImportDes( Vec_Ptr_t * vDes ) +void Abc_FrameImportPtr( Vec_Ptr_t * vPtr ) { Cba_Man_t * p; if ( Abc_FrameGetGlobalFrame() == NULL ) @@ -64,14 +64,14 @@ void Abc_FrameImportDes( Vec_Ptr_t * vDes ) printf( "ABC framework is not started.\n" ); return; } - p = Cba_PtrTransformToCba( vDes ); + p = Cba_PtrTransformToCba( vPtr ); if ( p == NULL ) printf( "Converting from Ptr failed.\n" ); Cba_AbcUpdateMan( Abc_FrameGetGlobalFrame(), p ); } -Vec_Ptr_t * Abc_FrameExportDes() +Vec_Ptr_t * Abc_FrameExportPtr() { - Vec_Ptr_t * vDes; + Vec_Ptr_t * vPtr; Cba_Man_t * p; if ( Abc_FrameGetGlobalFrame() == NULL ) { @@ -81,10 +81,10 @@ Vec_Ptr_t * Abc_FrameExportDes() p = Cba_AbcGetMan( Abc_FrameGetGlobalFrame() ); if ( p == NULL ) printf( "There is no CBA design present.\n" ); - vDes = Cba_PtrDeriveFromCba( p ); - if ( vDes == NULL ) + vPtr = Cba_PtrDeriveFromCba( p ); + if ( vPtr == NULL ) printf( "Converting to Ptr has failed.\n" ); - return vDes; + return vPtr; } /**Function******************************************************************** |