diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-17 17:06:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-17 17:06:27 -0700 |
| commit | 2afef15a1e73ee4a920068f2b99e26a9f0026ffd (patch) | |
| tree | 8877cc56a9d92c453e066ca73d019ffba10093aa /src/aig/gia/giaScl.c | |
| parent | e04ded5640c3383294f5269228404e44651f39b6 (diff) | |
| download | abc-2afef15a1e73ee4a920068f2b99e26a9f0026ffd.tar.gz abc-2afef15a1e73ee4a920068f2b99e26a9f0026ffd.tar.bz2 abc-2afef15a1e73ee4a920068f2b99e26a9f0026ffd.zip | |
Adding support of XOR/MUX in GIA.
Diffstat (limited to 'src/aig/gia/giaScl.c')
| -rw-r--r-- | src/aig/gia/giaScl.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaScl.c b/src/aig/gia/giaScl.c index 9b4c1c3e..727ffa90 100644 --- a/src/aig/gia/giaScl.c +++ b/src/aig/gia/giaScl.c @@ -52,7 +52,8 @@ int Gia_ManCombMarkUsed_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) assert( Gia_ObjIsAnd(pObj) ); return 1 + Gia_ManCombMarkUsed_rec( p, Gia_ObjFanin0(pObj) ) + Gia_ManCombMarkUsed_rec( p, Gia_ObjFanin1(pObj) ) - + (p->pNexts ? Gia_ManCombMarkUsed_rec( p, Gia_ObjNextObj(p, Gia_ObjId(p, pObj)) ) : 0); + + (p->pNexts ? Gia_ManCombMarkUsed_rec( p, Gia_ObjNextObj(p, Gia_ObjId(p, pObj)) ) : 0) + + (p->pMuxes ? Gia_ManCombMarkUsed_rec( p, Gia_ObjFanin2(p, pObj) ) : 0); } /**Function************************************************************* |