From afcec52a498d62587c99287f02f93f69d650dbb2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 1 Jul 2014 13:05:09 -0700 Subject: Improvements to representation of choices. --- src/aig/gia/giaIf.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/aig/gia/giaIf.c') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index a1541da7..22b48f0e 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -597,8 +597,8 @@ If_Man_t * Gia_ManToIf( Gia_Man_t * p, If_Par_t * pPars ) // create levels with choices Gia_ManChoiceLevel( p ); // mark representative nodes - if ( p->pSibls ) - Gia_ManMarkFanoutDrivers( p ); + if ( Gia_ManHasChoices(p) ) + Gia_ManMarkFanoutDrivers( p ); // start the mapping manager and set its parameters pIfMan = If_ManStart( pPars ); pIfMan->pName = Abc_UtilStrsav( Gia_ManName(p) ); @@ -640,8 +640,8 @@ If_Man_t * Gia_ManToIf( Gia_Man_t * p, If_Par_t * pPars ) } // assert( If_ObjLevel(pIfObj) == Gia_ObjLevel(pNode) ); } - if ( p->pSibls ) - Gia_ManCleanMark0( p ); + if ( Gia_ManHasChoices(p) ) + Gia_ManCleanMark0( p ); return pIfMan; } -- cgit v1.2.3