diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 14:13:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 14:13:11 -0800 |
| commit | c395afe2255a163e298d46c969a56b310556b306 (patch) | |
| tree | a0cfa3f37f0ec48c44d3fa4ef47255fee722391a /src/aig/saig/saigIso.c | |
| parent | 112f797c731ac45b713efd87dd5956695b983ecd (diff) | |
| download | abc-c395afe2255a163e298d46c969a56b310556b306.tar.gz abc-c395afe2255a163e298d46c969a56b310556b306.tar.bz2 abc-c395afe2255a163e298d46c969a56b310556b306.zip | |
Graph isomorphism checking code.
Diffstat (limited to 'src/aig/saig/saigIso.c')
| -rw-r--r-- | src/aig/saig/saigIso.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c index 1001f153..b840b73c 100644 --- a/src/aig/saig/saigIso.c +++ b/src/aig/saig/saigIso.c @@ -45,7 +45,7 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ Vec_Int_t * Saig_ManFindIsoPermCos( Aig_Man_t * pAig, Vec_Int_t * vPermCis ) { - extern int Iso_ObjCompareAigObjByData( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 ); + extern int Iso_ObjCompareByData( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 ); Vec_Int_t * vPermCos; Aig_Obj_t * pObj, * pFanin; int i, Entry, Diff; @@ -63,7 +63,7 @@ Vec_Int_t * Saig_ManFindIsoPermCos( Aig_Man_t * pAig, Vec_Int_t * vPermCis ) pObj->iData = Abc_Var2Lit( pFanin->iData, Aig_ObjFaninC0(pObj) ); Vec_PtrPush( vRoots, pObj ); } - Vec_PtrSort( vRoots, (int (*)(void))Iso_ObjCompareAigObjByData ); + Vec_PtrSort( vRoots, (int (*)(void))Iso_ObjCompareByData ); Vec_PtrForEachEntry( Aig_Obj_t *, vRoots, pObj, i ) Vec_IntPush( vPermCos, Aig_ObjPioNum(pObj) ); Vec_PtrFree( vRoots ); @@ -433,8 +433,8 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, int fVerbose ) vBuffers = Vec_PtrAlloc( nPos ); for ( i = 0; i < nPos; i++ ) { -// if ( i % 100 == 0 ) -// printf( "%d finished...\n", i ); + if ( i % 100 == 0 ) + printf( "%6d finished...\n", i ); pPart = Saig_ManDupCones( pAig, &i, 1 ); pTemp = Saig_ManDupIsoCanonical( pPart, 0 ); vStr = Ioa_WriteAigerIntoMemoryStr( pTemp ); |