diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-04 12:54:26 -0500 |
commit | bf682b92e2bddcd490604f8a65c440b9c4c2f2f9 (patch) | |
tree | 336954c088a073aef44ddf49c1f66b02c4c3c4af /src/options | |
parent | 6c0a62d69368b1af7e9777efcd703da6dc1cda11 (diff) |
Enable multi-trigger-linear by default, add option.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/quantifiers_options | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index e8586a898..cd6333225 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -91,7 +91,9 @@ option multiTriggerWhenSingle --multi-trigger-when-single bool :default false select multi triggers when single triggers exist option multiTriggerPriority --multi-trigger-priority bool :default false only try multi triggers if single triggers give no instantiations -option multiTriggerLinear --multi-trigger-linear bool :default false +option multiTriggerCache --multi-trigger-cache bool :default false + caching version of multi triggers +option multiTriggerLinear --multi-trigger-linear bool :default true implementation of multi triggers where maximum number of instantiations is linear wrt number of ground terms option triggerSelMode --trigger-sel CVC4::theory::quantifiers::TriggerSelMode :default CVC4::theory::quantifiers::TRIGGER_SEL_MIN :read-write :include "options/quantifiers_modes.h" :handler stringToTriggerSelMode selection mode for triggers |