diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-03 15:36:38 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-03 15:36:38 -0500 |
commit | 5cafed748989602263b8ad1a27ac6b9bd159a441 (patch) | |
tree | b0e474f47251d480dce48637e73f663aba0dd179 /src/options/options_handler.h | |
parent | 3f2c2c745ae2f13441c1cabd363e6539c9bdaeb9 (diff) |
Sygus clean main (#1297)
* Remove front end hack for sygus.
* Remove other hack, add sygus solution output mode.
* Clang format
* Minor
* Fix
* Minor
* Remove unused field.
Diffstat (limited to 'src/options/options_handler.h')
-rw-r--r-- | src/options/options_handler.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/options/options_handler.h b/src/options/options_handler.h index c525c9e0e..9d5f8cc6e 100644 --- a/src/options/options_handler.h +++ b/src/options/options_handler.h @@ -28,14 +28,15 @@ #include "options/arith_unate_lemma_mode.h" #include "options/base_handlers.h" #include "options/bv_bitblast_mode.h" -#include "options/decision_mode.h" #include "options/datatypes_modes.h" +#include "options/decision_mode.h" #include "options/language.h" #include "options/option_exception.h" #include "options/options.h" #include "options/printer_modes.h" #include "options/quantifiers_modes.h" #include "options/simplification_mode.h" +#include "options/sygus_out_mode.h" #include "options/theoryof_mode.h" #include "options/ufss_mode.h" @@ -143,6 +144,8 @@ public: void notifyBeforeSearch(const std::string& option) throw(ModalException); void notifyDumpMode(std::string option) throw(OptionException); SimplificationMode stringToSimplificationMode(std::string option, std::string optarg) throw(OptionException); + SygusSolutionOutMode stringToSygusSolutionOutMode( + std::string option, std::string optarg) throw(OptionException); void setProduceAssertions(std::string option, bool value) throw(); void proofEnabledBuild(std::string option, bool value) throw(OptionException); void LFSCEnabledBuild(std::string option, bool value); @@ -218,6 +221,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_sygusSolutionOutModeHelp; static const std::string s_cbqiBvIneqModeHelp; static const std::string s_cegqiSingleInvHelp; static const std::string s_sygusInvTemplHelp; |