diff options
Diffstat (limited to 'src/options/quantifiers_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 |