diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 15:21:11 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 15:21:11 -0700 |
commit | 37077748a1e421f2fa9385a159ef668b3e117927 (patch) | |
tree | 704182d17d95e131e0e025134a4568fdbe916df6 /src | |
parent | 22bdf624655bfb1673840937e81eea199ddf512c (diff) | |
download | abc-37077748a1e421f2fa9385a159ef668b3e117927.tar.gz abc-37077748a1e421f2fa9385a159ef668b3e117927.tar.bz2 abc-37077748a1e421f2fa9385a159ef668b3e117927.zip |
Moving one declaration to the header file.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/abc/abc.h | 2 | ||||
-rw-r--r-- | src/base/abc/abcFunc.c | 1 | ||||
-rw-r--r-- | src/base/abci/abc.c | 3 | ||||
-rw-r--r-- | src/base/abci/abcFx.c | 1 |
4 files changed, 2 insertions, 5 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index a2b2fdf5..2ffa7de9 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -610,6 +610,8 @@ extern ABC_DLL Abc_Obj_t * Abc_ObjInsertBetween( Abc_Obj_t * pNodeIn, Abc extern ABC_DLL void Abc_ObjTransferFanout( Abc_Obj_t * pObjOld, Abc_Obj_t * pObjNew ); extern ABC_DLL void Abc_ObjReplace( Abc_Obj_t * pObjOld, Abc_Obj_t * pObjNew ); extern ABC_DLL int Abc_ObjFanoutFaninNum( Abc_Obj_t * pFanout, Abc_Obj_t * pFanin ); +/*=== abcFanOrder.c ==========================================================*/ +extern ABC_DLL int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); /*=== abcFraig.c ==========================================================*/ extern ABC_DLL Abc_Ntk_t * Abc_NtkFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes, int fExdc ); extern ABC_DLL void * Abc_NtkToFraig( Abc_Ntk_t * pNtk, void * pParams, int fAllNodes, int fExdc ); diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index f43186ee..437c44fd 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -605,7 +605,6 @@ int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ) ***********************************************************************/ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk ) { - extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Abc_Obj_t * pNode; Hop_Man_t * pMan; int i; diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index e02ee525..f053f5c6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9938,10 +9938,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } */ if ( pNtk ) - { - extern void Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Abc_NtkMakeLegit( pNtk ); - } return 0; usage: Abc_Print( -2, "usage: test [-CKDN] [-aovwh] <file_name>\n" ); diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index be6192f0..cf600148 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -135,7 +135,6 @@ static inline int Fx_ManGetFirstVarCube( Fx_Man_t * p, Vec_Int_t * vCube ) { ret ***********************************************************************/ Vec_Wec_t * Abc_NtkFxRetrieve( Abc_Ntk_t * pNtk ) { - extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Vec_Wec_t * vCubes; Vec_Int_t * vCube; Abc_Obj_t * pNode; |