Searched refs:nCutClas (Results 1 – 1 of 1) sorted by relevance
416 int nCutClas; // cut clauses member696 p->nCutClas++; in Sle_ManDeriveCnf()960 sat_solver_nclauses(p->pSat), p->nCutClas, p->nEdgeClas, p->nEdgeClas2, p->nDelayClas ); in Sle_ManExplore()1060 …sat_solver_nclauses(p->pSat), p->nCutClas, p->nEdgeClas, p->nEdgeClas2, p->nDelayClas, p->nSatCall… in Sle_ManExplore()