24 assert(clauseIndex >= 0 && clauseIndex < _solver->num_clauses());
30 else c.
id = clauseIndex;
Clause GetClause(int clauseIndex)
SatSolver::SATStatus Continue()
CLitPoolElement & literal(int idx)
SatSolver::SATStatus Satisfiable(bool allowNewClauses)
void GetClauseLits(SatSolver::Clause clause, std::vector< Lit > *lits)
static SatSolver * Create()
CClause & clause(ClauseIdx idx)
int solve(bool allowNewClauses)