blob: 2490d2808ea4a2ca97dd677c9a35011a015cd166 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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 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
|
