40 #ifndef _cvc3__minisat_h_
41 #define _cvc3__minisat_h_
515 bool simplifyClause(std::vector<Lit>& literals,
int clausePushID)
const;
520 void orderClause(std::vector<Lit>& literals)
const;
523 void remove(
Clause* c,
bool just_dealloc =
false);
755 std::string
toString(
Lit literal,
bool showAssignment)
const;
758 std::string
toString(
const std::vector<Lit>& clause,
bool showAssignment)
const;
761 std::string
toString(
const Clause& clause,
bool showAssignment)
const;
770 std::vector<std::vector<SAT::Lit> >
curClauses();