34 #ifndef _cvc3__common_proof_rules_h_
35 #define _cvc3__common_proof_rules_h_
82 const std::vector<Expr>& assump,
83 const std::vector<Theorem>& tccs) = 0;
127 const std::vector<Theorem>& thms) = 0;
140 const std::vector<unsigned>& changed,
141 const std::vector<Theorem>& thms) = 0;
231 const std::vector<Expr>& assump) = 0;