21 #ifndef _cvc3__include__theory_core_h_
22 #define _cvc3__include__theory_core_h_
225 bool atBottomScope =
false) = 0;
397 bool enumerate,
bool computeSize);
437 bool incomplete(std::vector<std::string>& reasons);
542 std::ostream&
operator<<(std::ostream& os,
const NotifyList& l);