Adding ParserBuilder, reducing visibility of Parser and Input constructors

Adding Smt2 subclass of Parser
Checking for multiple calls to set-logic in SMT v2

1 files changed, 2 insertions, 5 deletions

diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h
index c003a76ec..962e2a987 100644
--- a/src/parser/smt2/smt2_input.h
+++ b/src/parser/smt2/smt2_input.h
@@ -32,6 +32,8 @@ class ExprManager;
 
 namespace parser {
 
+class Smt2;
+
 class Smt2Input : public AntlrInput {
   typedef AntlrInput super;
 
@@ -86,11 +88,6 @@ protected:
    */
   Expr parseExpr() throw(ParserException);
 
-  /** Set the Parser object for this input. This implementation overrides the super-class
-   * implementation to add the core theory symbols to the parser state when strict
-   * mode is disabled. */
-  virtual void setParser(Parser& parser);
-
 };/* class Smt2Input */
 
 }/* CVC4::parser namespace */