diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-24 19:38:16 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-24 19:38:16 -0500 |
commit | e03d56b6de112cae8e9234fff16b985f0765740e (patch) | |
tree | 391fb3e8316e05c185e83623ce8fd770719a0c8f /src/options/options_handler.h | |
parent | a33e9e4400b924f031100a9e498b2180bb025665 (diff) |
Cbqi bv ineq mode (#1273)
* Add mode for cbqi bv inequality handling.
* Implement the mode.
* Clang format
* Apply new clang format.
* Revert "Apply new clang format."
This reverts commit 1fec0ed999e45daacc4c756f11b5ecb4690f6561.
* Revert "Clang format"
This reverts commit 17042edb82d64c159aeddfe0264cd663998d0471.
* Clang format, second try.
* Revert "Clang format, second try."
This reverts commit f862c47c34bc313f5bc49a26b7586a4824e5aae0.
* Apply clang format, try 3.
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 e534d8e58..c525c9e0e 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -98,6 +98,8 @@ public: theory::quantifiers::PrenexQuantMode stringToPrenexQuantMode(std::string option, std::string optarg) throw(OptionException); theory::quantifiers::TermDbMode stringToTermDbMode(std::string option, std::string optarg) throw(OptionException); theory::quantifiers::IteLiftQuantMode stringToIteLiftQuantMode(std::string option, std::string optarg) throw(OptionException); + theory::quantifiers::CbqiBvIneqMode stringToCbqiBvIneqMode( + std::string option, std::string optarg) throw(OptionException); theory::quantifiers::CegqiSingleInvMode stringToCegqiSingleInvMode(std::string option, std::string optarg) throw(OptionException); theory::quantifiers::SygusInvTemplMode stringToSygusInvTemplMode(std::string option, std::string optarg) throw(OptionException); theory::quantifiers::MacrosQuantMode stringToMacrosQuantMode(std::string option, std::string optarg) throw(OptionException); @@ -216,6 +218,7 @@ public: static const std::string s_qcfModeHelp; static const std::string s_qcfWhenModeHelp; static const std::string s_simplificationHelp; + static const std::string s_cbqiBvIneqModeHelp; static const std::string s_cegqiSingleInvHelp; static const std::string s_sygusInvTemplHelp; static const std::string s_termDbModeHelp; |