diff options
Diffstat (limited to 'src/options/decision_options')
-rw-r--r-- | src/options/decision_options | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/options/decision_options b/src/options/decision_options deleted file mode 100644 index 2490d2808..000000000 --- a/src/options/decision_options +++ /dev/null @@ -1,27 +0,0 @@ -# -# 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 stringToDecisionMode :default decision::DECISION_STRATEGY_INTERNAL :read-write :include "options/decision_mode.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 stringToDecisionWeightInternal :default decision::DECISION_WEIGHT_INTERNAL_OFF - computer weights of internal nodes using children: off, max, sum, usr1 (meaning evolving) - -endmodule |