diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
commit | 61937ea05bff33070cc8252bc3b6c7d6fed7c9c3 (patch) | |
tree | 2c942f052de4dc9f0385bf01b89ec08d01c165bb /src/parser/parser.h | |
parent | 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 (diff) |
various fixes and updates to use and support parser
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index 36b8c34eb..73565b8c4 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -13,13 +13,13 @@ #ifndef __CVC4__PARSER__PARSER_H #define __CVC4__PARSER__PARSER_H -#include "core/exception.h" -#include "core/lang.h" +#include "util/exception.h" +#include "parser/language.h" +#include "util/command.h" namespace CVC4 { namespace parser { - class ValidityChecker; class Expr; // Internal parser state and other data @@ -33,16 +33,11 @@ namespace parser { void deleteParser(); public: // Constructors - Parser(ValidityChecker* vc, InputLanguage lang, - // The 'interactive' flag is ignored when fileName != "" - bool interactive = true, - const std::string& fileName = ""); - Parser(ValidityChecker* vc, InputLanguage lang, std::istream& is, - bool interactive = false); + Parser(CVC4::SmtEngine* smt, Language lang, std::istream& is, Options* opts, bool interactive = false); // Destructor ~Parser(); // Read the next command. - Expr next(); + CVC4::Command* next(); // Check if we are done (end of input has been reached) bool done() const; // The same check can be done by using the class Parser's value as |