19 #ifndef __CVC4__PARSER__PARSER_BUILDER_H 20 #define __CVC4__PARSER__PARSER_BUILDER_H 45 LINE_BUFFERED_STREAM_INPUT,
51 InputType d_inputType;
57 std::string d_filename;
60 std::string d_stringInput;
63 std::istream* d_streamInput;
75 bool d_canIncludeFile;
87 std::string d_forcedLogic;
90 void init(
ExprManager* exprManager,
const std::string& filename);
169 ParserBuilder& withLineBufferedStreamInput(std::istream& input);
Definition of input and output languages.
A builder for input language parsers.
Macros that should be defined everywhere during the building of the libraries and driver binary...
This class encapsulates all of the state of a parser, including the name of the file, line number and column information, and in-scope declarations.