diff options
Diffstat (limited to 'src/options/decision_options')
-rw-r--r-- | src/options/decision_options | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/options/decision_options b/src/options/decision_options new file mode 100644 index 000000000..35a1de1e9 --- /dev/null +++ b/src/options/decision_options @@ -0,0 +1,27 @@ +# +# Option specification file for CVC4 +# See src/options/base_options for a description of this file format +# + +module DECISION "options/decision_options.h" Decision heuristics + +# When/whether to use any decision strategies +option decisionMode decision-mode --decision=MODE decision::DecisionMode :handler CVC4::options::stringToDecisionMode :default decision::DECISION_STRATEGY_INTERNAL :read-write :include "options/decision_mode.h" :handler-include "options/options_handler_interface.h" + choose decision mode, see --decision=help + +# only use DE to determine when to stop, not to make decisions +option decisionStopOnly bool + +expert-option decisionThreshold --decision-threshold=N decision::DecisionWeight :default 0 :include "options/decision_weight.h" + ignore all nodes greater than threshold in first attempt to pick decision + +expert-option decisionUseWeight --decision-use-weight bool :default false + use the weight nodes (locally, by looking at children) to direct recursive search + +expert-option decisionRandomWeight --decision-random-weight=N int :default 0 + assign random weights to nodes between 0 and N-1 (0: disable) + +expert-option decisionWeightInternal --decision-weight-internal=HOW decision::DecisionWeightInternal :handler CVC4::options::stringToDecisionWeightInternal :default decision::DECISION_WEIGHT_INTERNAL_OFF :handler-include "options/options_handler_interface.h" + computer weights of internal nodes using children: off, max, sum, usr1 (meaning evolving) + +endmodule |