22 #ifndef _cvc3__include__search_sat_h_
23 #define _cvc3__include__search_sat_h_
182 void addLemma(
const Theorem& thm,
int priority = 0,
bool atBotomScope =
false);
217 "Lit out of bounds in getValue");
274 {
return check(e, result); }
276 {
return check(e, result,
true); }
285 bool inOrder =
true);