diff options
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
-rw-r--r-- | src/parser/tptp/tptp.cpp | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index e49315609..af675dec1 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -29,8 +29,11 @@ namespace CVC4 { namespace parser { -Tptp::Tptp(ExprManager* exprManager, Input* input, bool strictMode, bool parseOnly) : - Parser(exprManager,input,strictMode,parseOnly) { +Tptp::Tptp(ExprManager* exprManager, Input* input, bool strictMode, + bool parseOnly) + : Parser(exprManager, input, strictMode, parseOnly), + d_cnf(false), + d_fof(false) { addTheory(Tptp::THEORY_CORE); /* Try to find TPTP dir */ @@ -135,14 +138,6 @@ bool newInputStream(std::string fileName, pANTLR3_LEXER lexer, std::vector< pANT return true; } -/* overridden popCharStream for the lexer - necessary if we had symbol - * filtering in file inclusion. -void Tptp::myPopCharStream(pANTLR3_LEXER lexer) { - ((Tptp*)lexer->super)->d_oldPopCharStream(lexer); - ((Tptp*)lexer->super)->popScope(); -} -*/ - void Tptp::includeFile(std::string fileName) { // security for online version if(!canIncludeFile()) { @@ -153,15 +148,6 @@ void Tptp::includeFile(std::string fileName) { AntlrInput * ai = static_cast<AntlrInput *>(getInput()); pANTLR3_LEXER lexer = ai->getAntlr3Lexer(); - // set up popCharStream - would be necessary for handling symbol - // filtering in inclusions - /* - if(d_oldPopCharStream == NULL) { - d_oldPopCharStream = lexer->popCharStream; - lexer->popCharStream = myPopCharStream; - } - */ - // push the inclusion scope; will be popped by our special popCharStream // would be necessary for handling symbol filtering in inclusions //pushScope(); |