Searched defs:Aig_ObjOrderInsert (Results 1 – 2 of 2) sorted by relevance
110 void Aig_ObjOrderInsert( Aig_Man_t * p, int ObjId ) in Aig_ObjOrderInsert() function
95 void Aig_ObjOrderInsert( Aig_Man_t * p, int ObjId ) in Aig_ObjOrderInsert() function