22 #ifndef _cvc3__include__search_h_
23 #define _cvc3__include__search_h_
32 class SearchEngineRules;
37 class CommonProofRules;
39 template<
class Data>
class ExprMap;
81 virtual const std::string&
getName() = 0;
101 virtual void push() = 0;
104 virtual void pop() = 0;
173 bool inOrder =
true) = 0;