diff options
Diffstat (limited to 'src/options/decision_options.toml')
| -rw-r--r-- | src/options/decision_options.toml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/options/decision_options.toml b/src/options/decision_options.toml index c614ab3db..68698b3a1 100644 --- a/src/options/decision_options.toml +++ b/src/options/decision_options.toml @@ -34,7 +34,6 @@ header = "options/decision_options.h" type = "decision::DecisionWeight" default = "0" includes = ["options/decision_weight.h"] - read_only = true help = "ignore all nodes greater than threshold in first attempt to pick decision" [[option]] @@ -43,7 +42,6 @@ header = "options/decision_options.h" long = "decision-use-weight" type = "bool" default = "false" - read_only = true help = "use the weight nodes (locally, by looking at children) to direct recursive search" @@ -53,7 +51,6 @@ header = "options/decision_options.h" long = "decision-random-weight=N" type = "int" default = "0" - read_only = true help = "assign random weights to nodes between 0 and N-1 (0: disable)" [[option]] @@ -62,7 +59,6 @@ header = "options/decision_options.h" long = "decision-weight-internal=HOW" type = "DecisionWeightInternal" default = "OFF" - read_only = true help = "compute weights of internal nodes using children: off, max, sum, usr1" help_mode = "Decision weight internal mode." [[option.mode.OFF]] |