summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/base/cba/cba.h4
-rw-r--r--src/base/cba/cbaCom.c14
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********************************************************************