From 9608bcd1d84bd8fd19a038de818972a0f78a1737 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 15 Dec 2011 13:39:03 -0800 Subject: Enabling balance again. --- src/aig/dar/darBalance.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/aig/dar/darBalance.c b/src/aig/dar/darBalance.c index 8d97707e..6e9e7e21 100644 --- a/src/aig/dar/darBalance.c +++ b/src/aig/dar/darBalance.c @@ -249,6 +249,11 @@ void Dar_BalancePermute( Aig_Man_t * p, Vec_Ptr_t * vSuper, int LeftBound, int f int Aig_NodeCompareLevelsDecrease( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 ) { int Diff = Aig_ObjLevel(Aig_Regular(*pp1)) - Aig_ObjLevel(Aig_Regular(*pp2)); + if ( Diff > 0 ) + return -1; + if ( Diff < 0 ) + return 1; + Diff = Aig_ObjId(Aig_Regular(*pp1)) - Aig_ObjId(Aig_Regular(*pp2)); if ( Diff > 0 ) return -1; if ( Diff < 0 ) -- cgit v1.2.3