Searched refs:Sle_ManPrintCuts (Results 1 – 1 of 1) sorted by relevance
296 void Sle_ManPrintCuts( Gia_Man_t * p, Vec_Int_t * vCuts, int iObj ) in Sle_ManPrintCuts() function309 Sle_ManPrintCuts( p, vCuts, iObj ); in Sle_ManPrintCutsAll()585 Sle_ManPrintCuts( p->pGia, p->vCuts, iObj ); in Sle_ManDeriveInit()