1 /********************* -*- C++ -*- */
3 ** This file is part of the CVC4 prototype.
4 ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
5 ** Courant Institute of Mathematical Sciences
7 ** See the file COPYING in the top-level source directory for licensing
10 ** Parser implementation.
17 #include "util/command.h"
18 #include "util/Assert.h"
19 #include "parser_exception.h"
20 #include "parser/antlr_parser.h"
21 #include "parser/smt/generated/AntlrSmtParser.hpp"
22 #include "parser/smt/generated/AntlrSmtLexer.hpp"
23 #include "parser/cvc/generated/AntlrCvcParser.hpp"
24 #include "parser/cvc/generated/AntlrCvcLexer.hpp"
31 Parser::Parser(ExprManager
* em
) :
32 d_expr_manager(em
), d_done(false) {
35 void Parser::setDone(bool done
) {
39 bool Parser::done() const {
43 }/* CVC4::parser namespace */