diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:39:03 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 13:39:03 -0800 |
| commit | 9608bcd1d84bd8fd19a038de818972a0f78a1737 (patch) | |
| tree | a145f3d96d912e97e8cd1d4f3b0b8e63a5576f20 /src | |
| parent | 6531899709c9a25bc10d390529c5a27b3087ff37 (diff) | |
| download | abc-9608bcd1d84bd8fd19a038de818972a0f78a1737.tar.gz abc-9608bcd1d84bd8fd19a038de818972a0f78a1737.tar.bz2 abc-9608bcd1d84bd8fd19a038de818972a0f78a1737.zip | |
Enabling balance again.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/dar/darBalance.c | 5 |
1 files changed, 5 insertions, 0 deletions
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 @@ -253,6 +253,11 @@ int Aig_NodeCompareLevelsDecrease( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 ) 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 ) + return 1; return 0; } |