diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 14:52:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 14:52:43 -0800 |
| commit | 2377ae60e99fd751021cbcac880b584d57c284a1 (patch) | |
| tree | 8189050d8e0e518b50437d0a5145efce679197a5 /src/aig/gia/giaDup.c | |
| parent | ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f (diff) | |
| download | abc-2377ae60e99fd751021cbcac880b584d57c284a1.tar.gz abc-2377ae60e99fd751021cbcac880b584d57c284a1.tar.bz2 abc-2377ae60e99fd751021cbcac880b584d57c284a1.zip | |
Isomorphism checking code.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 342332cd..577a0180 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1762,7 +1762,7 @@ void Gia_ManDupCones_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Ptr_t * vLeaves, Gia_ManDupCones_rec( p, Gia_ObjFanin1(pObj), vLeaves, vNodes, vRoots ); Vec_PtrPush( vNodes, pObj ); } - else if ( Gia_ObjIsPo(p, pObj) ) + else if ( Gia_ObjIsCo(pObj) ) Gia_ManDupCones_rec( p, Gia_ObjFanin0(pObj), vLeaves, vNodes, vRoots ); else if ( Gia_ObjIsRo(p, pObj) ) Vec_PtrPush( vRoots, Gia_ObjRoToRi(p, pObj) ); |