diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-11 08:01:00 -0700 |
| commit | 066726076deedaf6d5b38ee4ed27eeb4a2b0061a (patch) | |
| tree | 4d8b8eb2f44d4e6ef2f5176aab58e42ed677236e /src/aig/fra/fraClass.c | |
| parent | a8d75dcc60da15644efbd20529609a1495df229a (diff) | |
| download | abc-066726076deedaf6d5b38ee4ed27eeb4a2b0061a.tar.gz abc-066726076deedaf6d5b38ee4ed27eeb4a2b0061a.tar.bz2 abc-066726076deedaf6d5b38ee4ed27eeb4a2b0061a.zip | |
Version abc70711
Diffstat (limited to 'src/aig/fra/fraClass.c')
| -rw-r--r-- | src/aig/fra/fraClass.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/aig/fra/fraClass.c b/src/aig/fra/fraClass.c index ac6a4f4a..33421423 100644 --- a/src/aig/fra/fraClass.c +++ b/src/aig/fra/fraClass.c @@ -334,6 +334,7 @@ Dar_Obj_t ** Fra_RefineClassOne( Fra_Man_t * p, Dar_Obj_t ** ppClass ) Dar_Obj_t * pObj, ** ppThis; int i; assert( ppClass[0] != NULL && ppClass[1] != NULL ); + // check if the class is going to be refined for ( ppThis = ppClass + 1; pObj = *ppThis; ppThis++ ) if ( !Fra_NodeCompareSims(p, ppClass[0], pObj) ) @@ -349,6 +350,15 @@ Dar_Obj_t ** Fra_RefineClassOne( Fra_Man_t * p, Dar_Obj_t ** ppClass ) Vec_PtrPush( p->vClassOld, pObj ); else Vec_PtrPush( p->vClassNew, pObj ); +/* + printf( "Refining class (" ); + Vec_PtrForEachEntry( p->vClassOld, pObj, i ) + printf( "%d,", pObj->Id ); + printf( ") + (" ); + Vec_PtrForEachEntry( p->vClassNew, pObj, i ) + printf( "%d,", pObj->Id ); + printf( ")\n" ); +*/ // put the nodes back into the class memory Vec_PtrForEachEntry( p->vClassOld, pObj, i ) { |