Searched refs:allowNewClauses (Results 1 – 5 of 5) sorted by relevance
43 SatSolver::SATStatus Xchaff::Satisfiable(bool allowNewClauses) in Satisfiable() argument46 status = _solver->solve(allowNewClauses); in Satisfiable()
185 int preprocess(bool allowNewClauses);374 int solve(bool allowNewClauses);
706 int CSolver::preprocess(bool allowNewClauses) in preprocess() argument709 if (!allowNewClauses) { in preprocess()804 int CSolver::solve(bool allowNewClauses) in solve() argument808 if(preprocess(allowNewClauses)==CONFLICT) { in solve()
71 SatSolver::SATStatus Satisfiable(bool allowNewClauses);
151 virtual SATStatus Satisfiable(bool allowNewClauses=false)=0;