Searched refs:Vec_IntPushOrderCost2 (Results 1 – 1 of 1) sorted by relevance
571 static inline void Vec_IntPushOrderCost2( Vec_Int_t * vSuper, Vec_Int_t * vCosts, int iLit ) in Vec_IntPushOrderCost2() function856 Vec_IntPushOrderCost2( vSuper, p->vCosts, iLit ); in Gia_ManBalanceGate()