diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 12:42:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 12:42:42 -0800 |
| commit | b63b332bac5883c1a60064381a81c7543a636061 (patch) | |
| tree | 7b58ecb1a270d34824d6941c7381cd79c5690514 /src/aig/hop | |
| parent | 40ddda3edd9819782f46a40c690070279fea627c (diff) | |
| download | abc-b63b332bac5883c1a60064381a81c7543a636061.tar.gz abc-b63b332bac5883c1a60064381a81c7543a636061.tar.bz2 abc-b63b332bac5883c1a60064381a81c7543a636061.zip | |
Trying to make sorting of nodes platform-indendent.
Diffstat (limited to 'src/aig/hop')
| -rw-r--r-- | src/aig/hop/hopBalance.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/hop/hopBalance.c b/src/aig/hop/hopBalance.c index d7458bdc..e9aa4d4d 100644 --- a/src/aig/hop/hopBalance.c +++ b/src/aig/hop/hopBalance.c @@ -221,6 +221,11 @@ int Hop_NodeCompareLevelsDecrease( Hop_Obj_t ** pp1, Hop_Obj_t ** pp2 ) return -1; if ( Diff < 0 ) return 1; + Diff = Hop_Regular(*pp1)->Id - Hop_Regular(*pp2)->Id; + if ( Diff > 0 ) + return -1; + if ( Diff < 0 ) + return 1; return 0; } |