diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
| commit | c645bac3663c265470024b44ed91b0afdbe59b88 (patch) | |
| tree | f213e6bff5697e1ffae3cc95b874b924dfad6ffb /src/aig/ntl/ntlCore.c | |
| parent | 9d6b12ddfdeda36038441520af66e0c20297bcb7 (diff) | |
| download | abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.gz abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.bz2 abc-c645bac3663c265470024b44ed91b0afdbe59b88.zip | |
Version abc80410
Diffstat (limited to 'src/aig/ntl/ntlCore.c')
| -rw-r--r-- | src/aig/ntl/ntlCore.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlCore.c b/src/aig/ntl/ntlCore.c index fb4bb620..a5c40444 100644 --- a/src/aig/ntl/ntlCore.c +++ b/src/aig/ntl/ntlCore.c @@ -69,10 +69,13 @@ Aig_Man_t * Ntl_ManPerformSynthesis( Aig_Man_t * pAig, int fBalance, int fUpdate ***********************************************************************/ int Ntl_ManInsertTest( Ntl_Man_t * p, Aig_Man_t * pAig ) { + Ntl_Man_t * pNew; Vec_Ptr_t * vMapping; int RetValue; vMapping = Ntl_MappingFromAig( pAig ); - RetValue = Ntl_ManInsert( p, vMapping, pAig ); + pNew = Ntl_ManInsertMapping( p, vMapping, pAig ); + RetValue = (pNew != NULL); + Ntl_ManFree( pNew ); Vec_PtrFree( vMapping ); return RetValue; } @@ -90,10 +93,13 @@ int Ntl_ManInsertTest( Ntl_Man_t * p, Aig_Man_t * pAig ) ***********************************************************************/ int Ntl_ManInsertTestIf( Ntl_Man_t * p, Aig_Man_t * pAig ) { + Ntl_Man_t * pNew; Vec_Ptr_t * vMapping; int RetValue; vMapping = Ntl_MappingIf( p, pAig ); - RetValue = Ntl_ManInsert( p, vMapping, pAig ); + pNew = Ntl_ManInsertMapping( p, vMapping, pAig ); + RetValue = (pNew != NULL); + Ntl_ManFree( pNew ); Vec_PtrFree( vMapping ); return RetValue; } |