diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-30 23:16:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-30 23:16:40 -0800 |
| commit | 5004aa1940e78b38fb9b3a6b89b08ca7b8824b27 (patch) | |
| tree | 3980ff3042153541b0f158407250c6e3c0021c4c /src | |
| parent | 044149593d94e3fe047e6c52066c77a317bbcd5b (diff) | |
| download | abc-5004aa1940e78b38fb9b3a6b89b08ca7b8824b27.tar.gz abc-5004aa1940e78b38fb9b3a6b89b08ca7b8824b27.tar.bz2 abc-5004aa1940e78b38fb9b3a6b89b08ca7b8824b27.zip | |
Graph isomorphism checking code.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/aig/aigIso.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/aig/aig/aigIso.c b/src/aig/aig/aigIso.c index 6e5ff6a5..7e535ea7 100644 --- a/src/aig/aig/aigIso.c +++ b/src/aig/aig/aigIso.c @@ -706,6 +706,8 @@ int Iso_ManCheckMapping( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t * vMap2 return 1; } +//static int s_Counter; + /**Function************************************************************* Synopsis [Finds mapping of CIs of AIG2 into those of AIG1.] @@ -734,6 +736,8 @@ Vec_Int_t * Iso_ManFindMapping( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec_Int_t return NULL; if ( Iso_ManNegEdgeNum(pAig1) != Iso_ManNegEdgeNum(pAig2) ) return NULL; +// s_Counter++; + if ( fVerbose ) printf( "AIG1:\n" ); vPerm1 = vPerm1_ ? vPerm1_ : Iso_ManFindPerm( pAig1, fVerbose ); @@ -814,6 +818,7 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, int fVerbose ) Vec_PtrPush( vParts, pPart ); Vec_PtrPush( vPerms, vMap ); } +// s_Counter = 0; // check AIGs for each PO vAigs = Vec_PtrAlloc( 1000 ); @@ -862,6 +867,8 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, int fVerbose ) pPart = Saig_ManDupCones( pAig, Vec_IntArray(vPos), Vec_IntSize(vPos) ); Vec_PtrFree( vAigs ); Vec_IntFree( vPos ); + +// printf( "The number of all checks %d. Complex checks %d.\n", nPos*(nPos-1)/2, s_Counter ); return pPart; } |