Searched refs:Aig_ObjCuts (Results 1 – 2 of 2) sorted by relevance
584 assert( Aig_ObjCuts(p, pObj) == NULL ); in Aig_ObjComputeCuts()
209 static inline Aig_Cut_t * Aig_ObjCuts( Aig_ManCut_t * p, Aig_Obj_t * pObj ) … in Aig_ObjCuts() function219 for ( i = 0, pCut = Aig_ObjCuts(p, pObj); i < p->nCutsMax; i++, pCut = Aig_CutNext(pCut) )