some fixes and organizational adjustments to assert code, parsers/lexers, and build process

1 files changed, 0 insertions, 103 deletions

diff --git a/src/parser/parser.h b/src/parser/parser.h
index dbdca4af8..7755d65f0 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -80,109 +80,6 @@ protected:
 
 }; // end of class Parser
 
-class CVC4_PUBLIC SmtParser : public Parser {
-
-public:
-
-  /**
-   * Construct the parser that uses the given expression manager and parses
-   * from the given input stream.
-   * @param em the expression manager to use
-   * @param input the input stream to parse
-   */
-  SmtParser(ExprManager* em, std::istream& input);
-
-  /**
-   * Construct the parser that uses the given expression manager and parses
-   * from the file.
-   * @param em the expression manager to use
-   * @param file_name the file to parse
-   */
-  SmtParser(ExprManager* em, const char* file_name);
-
-  /**
-   * Destructor.
-   */
-  ~SmtParser();
-
-  /**
-   * Parses the next command. By default, the SMTLIB parser produces one
-   * CommandSequence command. If parsing is successful, we should be done
-   * after the first call to this command.
-   * @return the CommandSequence command that includes the whole benchmark
-   */
-  Command* parseNextCommand() throw (ParserException);
-
-  /**
-   * Parses the next complete expression of the stream.
-   * @return the expression parsed
-   */
-  Expr parseNextExpression() throw (ParserException);
-
-protected:
-
-  /** The ANTLR smt lexer */
-  AntlrSmtLexer* d_antlr_lexer;
-
-  /** The ANTLR smt parser */
-  AntlrSmtParser* d_antlr_parser;
-
-  /** The file stream we might be using */
-  std::ifstream d_input;
-};
-
-class CVC4_PUBLIC CvcParser : public Parser {
-
-public:
-
-  /**
-   * Construct the parser that uses the given expression manager and parses
-   * from the given input stream.
-   * @param em the expression manager to use
-   * @param input the input stream to parse
-   */
-  CvcParser(ExprManager* em, std::istream& input);
-
-  /**
-   * Construct the parser that uses the given expression manager and parses
-   * from the file.
-   * @param em the expression manager to use
-   * @param file_name the file to parse
-   */
-  CvcParser(ExprManager* em, const char* file_name);
-
-  /**
-   * Destructor.
-   */
-  ~CvcParser();
-
-  /**
-   * Parses the next command. By default, the SMTLIB parser produces one
-   * CommandSequence command. If parsing is successful, we should be done
-   * after the first call to this command.
-   * @return the CommandSequence command that includes the whole benchmark
-   */
-  Command* parseNextCommand() throw (ParserException);
-
-  /**
-   * Parses the next complete expression of the stream.
-   * @return the expression parsed
-   */
-  Expr parseNextExpression() throw (ParserException);
-
-protected:
-
-  /** The ANTLR smt lexer */
-  AntlrCvcLexer* d_antlr_lexer;
-
-  /** The ANTLR smt parser */
-  AntlrCvcParser* d_antlr_parser;
-
-  /** The file stream we might be using */
-  std::ifstream d_input;
-};
-
-
 }/* CVC4::parser namespace */
 }/* CVC4 namespace */