Searched refs:Sle_ManComputeCuts (Results 1 – 1 of 1) sorted by relevance
205 Vec_Int_t * Sle_ManComputeCuts( Gia_Man_t * p, int nLutSize, int fVerbose ) in Sle_ManComputeCuts() function313 Vec_Int_t * vCuts = Sle_ManComputeCuts( p, 4, 1 ); in Sle_ManComputeCutsTest()457 p->vCuts = Sle_ManComputeCuts( pGia, 4, fVerbose ); in Sle_ManAlloc()