summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-08-18 20:19:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-08-18 20:19:32 -0700
commit65f9b73505412c99c512e565b1a3e965fab5301c (patch)
tree1801e0c3adf38ca41845187083dbc81f61c3b23a /src/aig/gia
parent7c8136c82da0baabe77daefab4a5ce0a93f6472e (diff)
downloadabc-65f9b73505412c99c512e565b1a3e965fab5301c.tar.gz
abc-65f9b73505412c99c512e565b1a3e965fab5301c.tar.bz2
abc-65f9b73505412c99c512e565b1a3e965fab5301c.zip
Changing default CNF generation in &bmc.
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaUtil.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index 7bf29b18..7983f107 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -1360,6 +1360,8 @@ void Gia_ManPrintCo_rec( Gia_Man_t * p, Gia_Obj_t * pObj )
{
Gia_ManPrintCo_rec( p, Gia_ObjFanin0(pObj) );
Gia_ManPrintCo_rec( p, Gia_ObjFanin1(pObj) );
+ if ( Gia_ObjIsMux(p, pObj) )
+ Gia_ManPrintCo_rec( p, Gia_ObjFanin2(p, pObj) );
}
Gia_ObjPrint( p, pObj );
}
@@ -1378,6 +1380,8 @@ void Gia_ManPrintCollect_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNode
assert( Gia_ObjIsAnd(pObj) );
Gia_ManPrintCollect_rec( p, Gia_ObjFanin0(pObj), vNodes );
Gia_ManPrintCollect_rec( p, Gia_ObjFanin1(pObj), vNodes );
+ if ( Gia_ObjIsMux(p, pObj) )
+ Gia_ManPrintCollect_rec( p, Gia_ObjFanin2(p, pObj), vNodes );
Vec_IntPush( vNodes, Gia_ObjId(p, pObj) );
}
void Gia_ManPrintCone( Gia_Man_t * p, Gia_Obj_t * pObj, int * pLeaves, int nLeaves, Vec_Int_t * vNodes )
@@ -1400,6 +1404,8 @@ void Gia_ManPrintCollect2_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vNod
Gia_ManPrintCollect2_rec( p, Gia_ObjFanin0(pObj), vNodes );
if ( Gia_ObjIsAnd(pObj) )
Gia_ManPrintCollect2_rec( p, Gia_ObjFanin1(pObj), vNodes );
+ if ( Gia_ObjIsMux(p, pObj) )
+ Gia_ManPrintCollect2_rec( p, Gia_ObjFanin2(p, pObj), vNodes );
Vec_IntPush( vNodes, Gia_ObjId(p, pObj) );
}
void Gia_ManPrintCone2( Gia_Man_t * p, Gia_Obj_t * pObj )