21 #ifndef _cvc3__include__theory_arith3_h_
22 #define _cvc3__include__theory_arith3_h_
46 friend std::ostream&
operator<<(std::ostream& os,
const FreeConst& fc);
72 friend std::ostream&
operator<<(std::ostream& os,
const Ineq& ineq);
125 void selectLargest(
const std::vector<Expr>& v1, std::vector<Expr>& v2);
128 void selectSmallest( std::vector<Expr>& v1, std::vector<Expr>& v2);
244 bool isStale(
const Ineq& ineq);
275 std::set<Expr>& cache);
311 bool enumerate,
bool computeSize);