diff options
Diffstat (limited to 'src/options/decision_options')
-rw-r--r-- | src/options/decision_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/decision_options b/src/options/decision_options index 35a1de1e9..2490d2808 100644 --- a/src/options/decision_options +++ b/src/options/decision_options @@ -6,7 +6,7 @@ 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" +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 @@ -21,7 +21,7 @@ expert-option decisionUseWeight --decision-use-weight bool :default false 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" +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 |