22 #ifndef _cvc3__include__theory_h_
23 #define _cvc3__include__theory_h_
149 virtual void checkSat(
bool fullEffort) = 0;
253 bool enumerate,
bool computeSize)
390 #ifdef _CVC3_DEBUG_MODE
392 virtual void debug(
int i) { }
394 virtual int help(
int i) {
return 9999 ;} ;
427 virtual Theorem
simplify(
const Expr& e);
476 bool hasSolver=
false);
597 bool computeTransClosure);
687 const std::vector<Theorem>& thms)
703 const std::vector<unsigned>& changed,
704 const std::vector<Theorem>& thms)