21 #ifndef _cvc3__include__theory_arith_h_
22 #define _cvc3__include__theory_arith_h_
29 class ArithProofRules;
86 bool printAsReal =
false);
134 virtual void checkSat(
bool fullEffort) = 0;
142 bool enumerate,
bool computeSize) = 0;
217 {
return Expr(
POW, pow, base);}
222 {
return Expr(
LT, left, right); }
224 {
return Expr(
LE, left, right); }
226 {
return Expr(
GT, left, right); }
228 {
return Expr(
GE, left, right); }