From c645bac3663c265470024b44ed91b0afdbe59b88 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 10 Apr 2008 08:01:00 -0700 Subject: Version abc80410 --- src/aig/ntl/ntlCore.c | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/aig/ntl/ntlCore.c') 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; } -- cgit v1.2.3