diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 19:31:24 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 19:31:24 +0000 |
commit | 67a3ba16218ca0a936a6f2430dce721a076885f3 (patch) | |
tree | dff41999a0fb7a043c3421272e451cb2718010a4 /src/parser/smt2/smt2_input.h | |
parent | 437686e2050a622a3f7e68077aff46fd6af83cbd (diff) |
Adding general support for SMT2 set-info command
Diffstat (limited to 'src/parser/smt2/smt2_input.h')
-rw-r--r-- | src/parser/smt2/smt2_input.h | 18 |
1 files changed, 8 insertions, 10 deletions
diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h index 2937d4ed8..ad32edcbc 100644 --- a/src/parser/smt2/smt2_input.h +++ b/src/parser/smt2/smt2_input.h @@ -40,6 +40,12 @@ class Smt2Input : public AntlrInput { /** The ANTLR3 CVC parser for the input. */ pSmt2Parser d_pSmt2Parser; + /** + * Initialize the class. Called from the constructors once the input + * stream is initialized. + */ + void init(); + public: /** @@ -47,7 +53,7 @@ public: * * @param inputStream the input stream to use */ - Smt2Input(AntlrInputStream *inputStream); + Smt2Input(AntlrInputStream& inputStream); /** * Create a string input. @@ -59,7 +65,7 @@ public: // Smt2Input(ExprManager* exprManager, const std::string& input, const std::string& name); /** Destructor. Frees the lexer and the parser. */ - ~Smt2Input(); + virtual ~Smt2Input(); protected: @@ -79,14 +85,6 @@ protected: */ Expr parseExpr() throw(ParserException); -private: - - /** - * Initialize the class. Called from the constructors once the input - * stream is initialized. - */ - void init(); - };/* class Smt2Input */ }/* CVC4::parser namespace */ |