Searched refs:Bal_GiaMan (Results 1 – 1 of 1) sorted by relevance
64 static inline Bal_Man_t * Bal_GiaMan( Gia_Man_t * p ) { return (Bal_Man_t *)p->pD… in Bal_GiaMan() function812 Bal_ManSetGateLevel( Bal_GiaMan(pNew), pObj, iLit ); in Gia_ManCreateGate()838 Bal_Man_t * p = Bal_GiaMan(pNew); int i; in Gia_ManBalanceGate()888 Bal_ManSetGateLevel( Bal_GiaMan(pNew), pObj, pObj->Value ); in Gia_ManBalance_rec()