Searched refs:toMinisatClause (Results 1 – 5 of 5) sorted by relevance
89 void MinisatSatSolver::toMinisatClause(SatClause& clause, in toMinisatClause() function in CVC4::prop::MinisatSatSolver146 toMinisatClause(clause, minisat_clause); in addClause()
40 static void toMinisatClause(SatClause& clause, Minisat::vec<Minisat::Lit>& minisat_clause);
63 toMinisatClause(clause, minisat_clause); in addClause()220 void BVMinisatSatSolver::toMinisatClause(SatClause& clause, in toMinisatClause() function in CVC4::prop::BVMinisatSatSolver
112 static void toMinisatClause(SatClause& clause, BVMinisat::vec<BVMinisat::Lit>& minisat_clause);
252 MinisatSatSolver::toMinisatClause(explanation_cl, explanation); in reason()1017 MinisatSatSolver::toMinisatClause(propagatedLiteralsClause, propagatedLiterals); in propagateTheory()1033 MinisatSatSolver::toMinisatClause(explanation_cl, explanation); in propagateTheory()