diff options
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index b6e15b2ff..96590eb3e 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -80,6 +80,12 @@ class CVC4_PUBLIC ParserBuilder { /** Are we parsing only? */ bool d_parseOnly; + /** Is the logic forced by the user? */ + bool d_logicIsForced; + + /** The forced logic name */ + std::string d_forcedLogic; + /** Initialize this parser builder */ void init(ExprManager* exprManager, const std::string& filename); @@ -164,6 +170,9 @@ public: /** Set the parser to use the given string for its input. */ ParserBuilder& withStringInput(const std::string& input); + + /** Set the parser to use the given logic string. */ + ParserBuilder& withForcedLogic(const std::string& logic); };/* class ParserBuilder */ }/* CVC4::parser namespace */ |