diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-05 09:19:56 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-05 09:19:56 -0600 |
commit | f17b72fcdb535a5c06620900d2c35d2709abe968 (patch) | |
tree | 408a48f718858c3623afbe1d8b99cab79cedaf35 /src/options/options_handler.h | |
parent | 97c2553d0b0535bd47517f755897c441e223568e (diff) |
Refactor mode options for Unif+PI (#3531)
Diffstat (limited to 'src/options/options_handler.h')
-rw-r--r-- | src/options/options_handler.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index eae61c5b2..2e372a00c 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -122,6 +122,8 @@ public: std::string option, std::string optarg); theory::quantifiers::SygusActiveGenMode stringToSygusActiveGenMode( std::string option, std::string optarg); + theory::quantifiers::SygusUnifPiMode stringToSygusUnifPiMode( + std::string option, std::string optarg); theory::quantifiers::SygusGrammarConsMode stringToSygusGrammarConsMode( std::string option, std::string optarg); theory::quantifiers::MacrosQuantMode stringToMacrosQuantMode( @@ -277,6 +279,7 @@ public: static const std::string s_sygusFilterSolHelp; static const std::string s_sygusInvTemplHelp; static const std::string s_sygusActiveGenHelp; + static const std::string s_sygusUnifPiHelp; static const std::string s_sygusGrammarConsHelp; static const std::string s_termDbModeHelp; static const std::string s_theoryOfModeHelp; |