From 236d412255e5007adac97c05e759bfd5069bc1c1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 May 2016 19:47:02 -0700 Subject: Experiments with CEC for arithmetic circuits. --- src/aig/gia/giaBalLut.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaBalLut.c') 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 -- cgit v1.2.3