From d6804597a397379f826810a736ccbe99bf56c497 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 24 Jun 2007 08:01:00 -0700 Subject: Version abc70624 --- src/opt/rwr/rwrEva.c | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/opt/rwr') 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 ); /* -- cgit v1.2.3