d5/d16/ParserWrapper_8cpp_source.html

 #include "ParserWrapper.h"


 #include "Parser.h"


 namespace smtrat {

     bool parseSMT2File(parser::InstructionHandler& handler, bool queueInstructions, std::istream& input) {

         parser::SMTLIBParser parser(handler, queueInstructions);

         return parser.parse(input);

     }

 }

ParserWrapper.h

Parser.h

smtrat::parser::InstructionHandler
Definition: InstructionHandler.h:46

smtrat::parser::SMTLIBParser
Definition: Parser.h:18

smtrat::parser::SMTLIBParser::parse
bool parse(std::istream &in)
Definition: Parser.h:43

smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10

smtrat::parseSMT2File
bool parseSMT2File(parser::InstructionHandler &handler, bool queueInstructions, std::istream &input)
Definition: ParserWrapper.cpp:6