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);
A builder for input language parsers.
Parser * build()
Build the parser, using the current settings.
ParserBuilder(ExprManager *exprManager, const std::string &filename)
Create a parser builder using the given ExprManager and filename.
ParserBuilder(ExprManager *exprManager, const std::string &filename, const Options &options)
This class encapsulates all of the state of a parser, including the name of the file,...
Macros that should be defined everywhere during the building of the libraries and driver binary,...
Definition of input and output languages.