diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:51 -0700 |
commit | 05b61206e4689a5d4bfb4370e8a8217736f4231c (patch) | |
tree | 847b6e0592c37de98bba24301014aae80ff9fb00 /src/aig/cec/cecClass.c | |
parent | 39ad44638c06771d215f9ed7f2aced76af71ab2f (diff) | |
download | abc-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.c | 11 |
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) ); |