22 #ifndef _cvc3__search__search_theorem_producer_h_
23 #define _cvc3__search__search_theorem_producer_h_
30 class CommonProofRules;
74 const std::vector<Theorem>& delta);
88 const std::vector<Theorem>& lits,
89 const std::vector<Theorem>& gamma);
99 const Theorem& clause,
unsigned i);
198 const std::string& ruleName);
206 std::vector<Expr>& boundVars);