diff options
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 44cb8285e..f1fd26ec1 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -34,20 +34,6 @@ class ExprManager; namespace parser { -/* -class InputBuilder { -protected: - InputLanguage d_lang; - std::string d_name; -public: - InputBuilder(InputLanguage lang, const std::string& name) : - d_lang(lang), - d_name(name) { - } - virtual Input& build() = 0; -}; -*/ - class Parser; /** @@ -80,9 +66,6 @@ class CVC4_PUBLIC ParserBuilder { /** The expression manager */ ExprManager& d_exprManager; - /** Parser to derive the initial state from. */ - const Parser* d_parserToUseForState; - /** Should semantic checks be enabled during parsing? */ bool d_checksEnabled; @@ -131,11 +114,6 @@ public: /** Derive settings from the given options. */ ParserBuilder& withOptions(const Options& options); - /** Copy the state (e.g., variable and type declaration) from - * an existing parser. If <code>parser</code> is <code>NULL</code>, - * the default initial state will be used. */ - ParserBuilder& withStateFrom(const Parser* parser); - /** Should the parser use strict mode? (Default: no) */ ParserBuilder& withStrictMode(bool flag = true); |