diff options
Diffstat (limited to 'src/options/theory_options.toml')
| -rw-r--r-- | src/options/theory_options.toml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/options/theory_options.toml b/src/options/theory_options.toml new file mode 100644 index 000000000..2b1f75072 --- /dev/null +++ b/src/options/theory_options.toml @@ -0,0 +1,25 @@ +id = "THEORY" +name = "Theory layer" +header = "options/theory_options.h" + +[[option]] + name = "theoryOfMode" + smt_name = "theoryof-mode" + category = "expert" + long = "theoryof-mode=MODE" + type = "CVC4::theory::TheoryOfMode" + default = "CVC4::theory::THEORY_OF_TYPE_BASED" + handler = "stringToTheoryOfMode" + includes = ["options/theoryof_mode.h"] + help = "mode for Theory::theoryof()" + +[[option]] + name = "useTheoryList" + smt_name = "use-theory" + category = "regular" + long = "use-theory=NAME" + type = "std::string" + handler = "handleUseTheoryList" + notifies = ["notifyUseTheoryList"] + read_only = true + help = "use alternate theory implementation NAME (--use-theory=help for a list). This option may be repeated or a comma separated list." |