Searched refs:nDelayClas (Results 1 – 1 of 1) sorted by relevance
419 int nDelayClas; // delay clauses member790 p->nDelayClas += 2*p->nLevels; 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()