diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-01 13:05:09 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-01 13:05:09 -0700 |
commit | afcec52a498d62587c99287f02f93f69d650dbb2 (patch) | |
tree | d81aca1b2c4bc1ab0e4377a3dd1d923a342710e8 /src/aig/gia/giaIf.c | |
parent | 6bc381baa3d1b5c2e9024185018aed5736376808 (diff) | |
download | abc-afcec52a498d62587c99287f02f93f69d650dbb2.tar.gz abc-afcec52a498d62587c99287f02f93f69d650dbb2.tar.bz2 abc-afcec52a498d62587c99287f02f93f69d650dbb2.zip |
Improvements to representation of choices.
Diffstat (limited to 'src/aig/gia/giaIf.c')
-rw-r--r-- | src/aig/gia/giaIf.c | 8 |
1 files changed, 4 insertions, 4 deletions
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; } |