Searched refs:Bal_ManSetGateLevel (Results 1 – 1 of 1) sorted by relevance
486 int Bal_ManSetGateLevel( Bal_Man_t * p, Gia_Obj_t * pObjOld, int iLitNew ) in Bal_ManSetGateLevel() function812 Bal_ManSetGateLevel( Bal_GiaMan(pNew), pObj, iLit ); in Gia_ManCreateGate()855 Bal_ManSetGateLevel( p, pObj, iLit ); in Gia_ManBalanceGate()888 Bal_ManSetGateLevel( Bal_GiaMan(pNew), pObj, pObj->Value ); in Gia_ManBalance_rec()