summaryrefslogtreecommitdiffstats
path: root/src/aig/cec/cecClass.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-04-18 23:27:51 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-04-18 23:27:51 -0700
commit05b61206e4689a5d4bfb4370e8a8217736f4231c (patch)
tree847b6e0592c37de98bba24301014aae80ff9fb00 /src/aig/cec/cecClass.c
parent39ad44638c06771d215f9ed7f2aced76af71ab2f (diff)
downloadabc-05b61206e4689a5d4bfb4370e8a8217736f4231c.tar.gz
abc-05b61206e4689a5d4bfb4370e8a8217736f4231c.tar.bz2
abc-05b61206e4689a5d4bfb4370e8a8217736f4231c.zip
Adding constant correspondence.
Diffstat (limited to 'src/aig/cec/cecClass.c')
-rw-r--r--src/aig/cec/cecClass.c11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/aig/cec/cecClass.c b/src/aig/cec/cecClass.c
index 95414851..b6118038 100644
--- a/src/aig/cec/cecClass.c
+++ b/src/aig/cec/cecClass.c
@@ -759,6 +759,17 @@ references:
Cec_ManSimSimDeref( p, Ent );
}
}
+
+ if ( p->pPars->fConstCorr )
+ {
+ Vec_IntForEachEntry( p->vRefinedC, i, k )
+ {
+ Gia_ObjSetRepr( p->pAig, i, GIA_VOID );
+ Cec_ManSimSimDeref( p, i );
+ }
+ Vec_IntClear( p->vRefinedC );
+ }
+
if ( Vec_IntSize(p->vRefinedC) > 0 )
Cec_ManSimProcessRefined( p, p->vRefinedC );
assert( vInfoCis == NULL || iCiId == Gia_ManCiNum(p->pAig) );