Go to the documentation of this file.
28 #ifndef _cvc3__parser_h_
29 #define _cvc3__parser_h_
36 class ValidityChecker;
53 bool interactive =
true,
54 const std::string& fileName =
"");
56 bool interactive =
false);
65 operator bool()
const {
return done(); }