diff options
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 61819a8f9..23a9daae2 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -45,7 +45,7 @@ class Parser; class CVC5_EXPORT ParserBuilder { /** The input language */ - Language d_lang; + std::string d_lang; /** The API Solver object. */ api::Solver* d_solver; @@ -76,11 +76,7 @@ class CVC5_EXPORT ParserBuilder public: /** Create a parser builder using the given Solver and filename. */ - ParserBuilder(api::Solver* solver, SymbolManager* sm); - - ParserBuilder(api::Solver* solver, - SymbolManager* sm, - const Options& options); + ParserBuilder(api::Solver* solver, SymbolManager* sm, bool useOptions); /** Build the parser, using the current settings. */ Parser* build(); @@ -93,7 +89,7 @@ class CVC5_EXPORT ParserBuilder * * (Default: LANG_AUTO) */ - ParserBuilder& withInputLanguage(Language lang); + ParserBuilder& withInputLanguage(const std::string& lang); /** * Are we only parsing, or doing something with the resulting |