diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-24 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-06-24 08:01:00 -0700 |
| commit | d6804597a397379f826810a736ccbe99bf56c497 (patch) | |
| tree | 9ead35b5d0dd58628c773576765b249c87c71dda /src/opt/rwr | |
| parent | d47752011d94805850f8713258634d1bde5e639f (diff) | |
| download | abc-d6804597a397379f826810a736ccbe99bf56c497.tar.gz abc-d6804597a397379f826810a736ccbe99bf56c497.tar.bz2 abc-d6804597a397379f826810a736ccbe99bf56c497.zip | |
Version abc70624
Diffstat (limited to 'src/opt/rwr')
| -rw-r--r-- | src/opt/rwr/rwrEva.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/opt/rwr/rwrEva.c b/src/opt/rwr/rwrEva.c index e5b27138..0b97843a 100644 --- a/src/opt/rwr/rwrEva.c +++ b/src/opt/rwr/rwrEva.c @@ -159,6 +159,17 @@ p->timeRes += clock() - clk; if ( GainBest == -1 ) return -1; +/* + if ( GainBest > 0 ) + { + printf( "Class %d ", p->pMap[uTruthBest] ); + printf( "Gain = %d. Node %d : ", GainBest, pNode->Id ); + Vec_PtrForEachEntry( p->vFanins, pFanin, i ) + printf( "%d ", Abc_ObjRegular(pFanin)->Id ); + Dec_GraphPrint( stdout, p->pGraph, NULL, NULL ); + printf( "\n" ); + } +*/ // printf( "%d", nNodesSaveCur - GainBest ); /* |