diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-06 20:01:00 -0700 |
| commit | 9d6b12ddfdeda36038441520af66e0c20297bcb7 (patch) | |
| tree | db29ee5573476a1f94fe5c6942d47c96400edb50 /src | |
| parent | 661abab094143930f58633dfad415468a90cef6f (diff) | |
| download | abc-9d6b12ddfdeda36038441520af66e0c20297bcb7.tar.gz abc-9d6b12ddfdeda36038441520af66e0c20297bcb7.tar.bz2 abc-9d6b12ddfdeda36038441520af66e0c20297bcb7.zip | |
Version abc80406_2
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 11d0aec8..add5a7e0 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14796,6 +14796,7 @@ int Abc_CommandAbc8ReadLogic( Abc_Frame_t * pAbc, int argc, char ** argv ) int c; extern void * Ntl_ManReadNwk( char * pFileName, Aig_Man_t * pAig, Tim_Man_t * pManTime ); extern Tim_Man_t * Ntl_ManReadTimeMan( void * p ); + extern void Nwk_ManFree( void * ); // set defaults Extra_UtilGetoptReset(); @@ -16066,6 +16067,7 @@ int Abc_CommandAbc8Cec( Abc_Frame_t * pAbc, int argc, char ** argv ) extern Aig_Man_t * Ntl_ManCollapse( void * p ); extern void * Ntl_ManDup( void * pOld ); extern void Ntl_ManFree( void * p ); + extern int Ntl_ManInsertNtk( void * p, void * pNtk ); extern int Fra_FraigCecTop( Aig_Man_t * pMan1, Aig_Man_t * pMan2, int nConfLimit, int nPartSize, int fSmart, int fVerbose ); |