diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-07 19:47:02 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-07 19:47:02 -0700 |
commit | 236d412255e5007adac97c05e759bfd5069bc1c1 (patch) | |
tree | 8b43abfb5798f47586e6f5dcd0acf8a07f61a722 /src/aig/gia/giaBalLut.c | |
parent | 40d90ae69c4bb84e20e98aab127788a8b1755faa (diff) | |
download | abc-236d412255e5007adac97c05e759bfd5069bc1c1.tar.gz abc-236d412255e5007adac97c05e759bfd5069bc1c1.tar.bz2 abc-236d412255e5007adac97c05e759bfd5069bc1c1.zip |
Experiments with CEC for arithmetic circuits.
Diffstat (limited to 'src/aig/gia/giaBalLut.c')
-rw-r--r-- | src/aig/gia/giaBalLut.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaBalLut.c b/src/aig/gia/giaBalLut.c index 73d2a6fb..4402e36f 100644 --- a/src/aig/gia/giaBalLut.c +++ b/src/aig/gia/giaBalLut.c @@ -568,7 +568,7 @@ static inline void Vec_IntSelectSortCostLit( Vec_Int_t * vSuper, Vec_Int_t * vCo ABC_SWAP( int, pArray[i], pArray[best_i] ); } } -static inline void Vec_IntPushOrderCost( Vec_Int_t * vSuper, Vec_Int_t * vCosts, int iLit ) +static inline void Vec_IntPushOrderCost2( Vec_Int_t * vSuper, Vec_Int_t * vCosts, int iLit ) { int i, nSize, * pArray; Vec_IntPush( vSuper, iLit ); @@ -853,7 +853,7 @@ static inline int Gia_ManBalanceGate( Gia_Man_t * pNew, Gia_Obj_t * pObj, Vec_In else iLit = Gia_ManHashAnd( pNew, iBest, kBest ); Bal_ManSetGateLevel( p, pObj, iLit ); - Vec_IntPushOrderCost( vSuper, p->vCosts, iLit ); + Vec_IntPushOrderCost2( vSuper, p->vCosts, iLit ); } } // consider trivial case |