diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-12 08:01:00 -0700 |
| commit | c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1 (patch) | |
| tree | c6ea67f6b0a823cc097de6b61c9195ffafdb08b1 /src/opt/rwr | |
| parent | 066726076deedaf6d5b38ee4ed27eeb4a2b0061a (diff) | |
| download | abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.tar.gz abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.tar.bz2 abc-c5277d3334e3dbca556fbf82bbe1c0cacdc85cb1.zip | |
Version abc70712
Diffstat (limited to 'src/opt/rwr')
| -rw-r--r-- | src/opt/rwr/rwrEva.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/opt/rwr/rwrEva.c b/src/opt/rwr/rwrEva.c index 9696b027..f46c16c0 100644 --- a/src/opt/rwr/rwrEva.c +++ b/src/opt/rwr/rwrEva.c @@ -56,13 +56,13 @@ int Rwr_NodeRewrite( Rwr_Man_t * p, Cut_Man_t * pManCut, Abc_Obj_t * pNode, int { int fVeryVerbose = 0; Dec_Graph_t * pGraph; - Cut_Cut_t * pCut; + Cut_Cut_t * pCut;//, * pTemp; Abc_Obj_t * pFanin; unsigned uPhase, uTruthBest, uTruth; char * pPerm; int Required, nNodesSaved, nNodesSaveCur; int i, GainCur, GainBest = -1; - int clk, clk2; + int clk, clk2;//, Counter; p->nNodesConsidered++; // get the required times @@ -75,7 +75,12 @@ clk = clock(); p->timeCut += clock() - clk; //printf( " %d", Rwr_CutCountNumNodes(pNode, pCut) ); - +/* + Counter = 0; + for ( pTemp = pCut->pNext; pTemp; pTemp = pTemp->pNext ) + Counter++; + printf( "%d ", Counter ); +*/ // go through the cuts clk = clock(); for ( pCut = pCut->pNext; pCut; pCut = pCut->pNext ) |