35 #ifndef _cvc3__expr_h_
39 #ifndef _cvc3__assumptions_h_
40 #define _cvc3__assumptions_h_
59 std::vector<Theorem>& gamma);
61 std::vector<Theorem>& gamma);
63 void add(
const std::vector<Theorem>& thms);
118 class iterator :
public std::iterator<std::input_iterator_tag,Theorem,ptrdiff_t> {
122 std::vector<Theorem>::const_iterator
d_it;
161 const std::vector<Expr>& es);
163 friend std::ostream&
operator<<(std::ostream& os,