20 #ifndef _cvc3__include__theory_records_h_
21 #define _cvc3__include__theory_records_h_
27 class RecordsProofRules;
75 bool enumerate,
bool computeSize);
108 const std::vector<Expr>& kids);
111 const std::vector<Expr>& kids);
114 const std::vector<Type>& types);
117 const std::vector<Expr>& types);
120 const std::vector<Expr>& types);