Java Reference
Java Reference
Detailed Description
This struct holds all parameters for the default search.
DefaultPhaseParameters is only used by Solver::MakeDefaultPhase methods. Note this is for advanced users only.
Definition at line 14 of file DefaultPhaseParameters.java.
Public Member Functions | |
| synchronized void | delete () |
| void | setVar_selection_schema (int value) |
| This parameter describes how the next variable to instantiate will be chosen. More... | |
| int | getVar_selection_schema () |
| This parameter describes how the next variable to instantiate will be chosen. More... | |
| void | setValue_selection_schema (int value) |
| This parameter describes which value to select for a given var. More... | |
| int | getValue_selection_schema () |
| This parameter describes which value to select for a given var. More... | |
| void | setInitialization_splits (int value) |
| Maximum number of intervals that the initialization of impacts will scan per variable. More... | |
| int | getInitialization_splits () |
| Maximum number of intervals that the initialization of impacts will scan per variable. More... | |
| void | setRun_all_heuristics (boolean value) |
| The default phase will run heuristics periodically. More... | |
| boolean | getRun_all_heuristics () |
| The default phase will run heuristics periodically. More... | |
| void | setHeuristic_period (int value) |
| The distance in nodes between each run of the heuristics. More... | |
| int | getHeuristic_period () |
| The distance in nodes between each run of the heuristics. More... | |
| void | setHeuristic_num_failures_limit (int value) |
| The failure limit for each heuristic that we run. More... | |
| int | getHeuristic_num_failures_limit () |
| The failure limit for each heuristic that we run. More... | |
| void | setPersistent_impact (boolean value) |
| Whether to keep the impact from the first search for other searches, or to recompute the impact for each new search. More... | |
| boolean | getPersistent_impact () |
| Whether to keep the impact from the first search for other searches, or to recompute the impact for each new search. More... | |
| void | setRandom_seed (int value) |
| Seed used to initialize the random part in some heuristics. More... | |
| int | getRandom_seed () |
| Seed used to initialize the random part in some heuristics. More... | |
| void | setDisplay_level (int value) |
| This represents the amount of information displayed by the default search. More... | |
| int | getDisplay_level () |
| This represents the amount of information displayed by the default search. More... | |
| void | setUse_last_conflict (boolean value) |
| Should we use last conflict method. More... | |
| boolean | getUse_last_conflict () |
| Should we use last conflict method. More... | |
| void | setDecision_builder (DecisionBuilder value) |
| When defined, this overrides the default impact based decision builder. More... | |
| DecisionBuilder | getDecision_builder () |
| When defined, this overrides the default impact based decision builder. More... | |
| DefaultPhaseParameters () | |
Static Public Attributes | |
| static final int | CHOOSE_MAX_SUM_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_SUM_IMPACT_get() |
| static final int | CHOOSE_MAX_AVERAGE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_AVERAGE_IMPACT_get() |
| static final int | CHOOSE_MAX_VALUE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_VALUE_IMPACT_get() |
| static final int | SELECT_MIN_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MIN_IMPACT_get() |
| static final int | SELECT_MAX_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MAX_IMPACT_get() |
| static final int | NONE = mainJNI.DefaultPhaseParameters_NONE_get() |
| static final int | NORMAL = mainJNI.DefaultPhaseParameters_NORMAL_get() |
| static final int | VERBOSE = mainJNI.DefaultPhaseParameters_VERBOSE_get() |
Protected Member Functions | |
| DefaultPhaseParameters (long cPtr, boolean cMemoryOwn) | |
Constructor & Destructor Documentation
◆ DefaultPhaseParameters() [1/2]
|
inlineprotected |
Definition at line 18 of file DefaultPhaseParameters.java.
◆ DefaultPhaseParameters() [2/2]
|
inline |
Definition at line 197 of file DefaultPhaseParameters.java.
Member Function Documentation
◆ delete()
|
inline |
Definition at line 32 of file DefaultPhaseParameters.java.
◆ getDecision_builder()
|
inline |
When defined, this overrides the default impact based decision builder.
Definition at line 192 of file DefaultPhaseParameters.java.
◆ getDisplay_level()
|
inline |
This represents the amount of information displayed by the default search.
NONE means no display, VERBOSE means extra information.
Definition at line 164 of file DefaultPhaseParameters.java.
◆ getHeuristic_num_failures_limit()
|
inline |
The failure limit for each heuristic that we run.
Definition at line 122 of file DefaultPhaseParameters.java.
◆ getHeuristic_period()
|
inline |
The distance in nodes between each run of the heuristics.
A negative or null value will mean that we will not run heuristics at all.
Definition at line 108 of file DefaultPhaseParameters.java.
◆ getInitialization_splits()
|
inline |
Maximum number of intervals that the initialization of impacts will scan per variable.
Definition at line 80 of file DefaultPhaseParameters.java.
◆ getPersistent_impact()
|
inline |
Whether to keep the impact from the first search for other searches, or to recompute the impact for each new search.
Definition at line 136 of file DefaultPhaseParameters.java.
◆ getRandom_seed()
|
inline |
Seed used to initialize the random part in some heuristics.
Definition at line 150 of file DefaultPhaseParameters.java.
◆ getRun_all_heuristics()
|
inline |
The default phase will run heuristics periodically.
This parameter indicates if we should run all heuristics, or a randomly selected one.
Definition at line 94 of file DefaultPhaseParameters.java.
◆ getUse_last_conflict()
|
inline |
Should we use last conflict method.
The default is false.
Definition at line 178 of file DefaultPhaseParameters.java.
◆ getValue_selection_schema()
|
inline |
This parameter describes which value to select for a given var.
Definition at line 66 of file DefaultPhaseParameters.java.
◆ getVar_selection_schema()
|
inline |
This parameter describes how the next variable to instantiate will be chosen.
Definition at line 52 of file DefaultPhaseParameters.java.
◆ setDecision_builder()
|
inline |
When defined, this overrides the default impact based decision builder.
Definition at line 185 of file DefaultPhaseParameters.java.
◆ setDisplay_level()
|
inline |
This represents the amount of information displayed by the default search.
NONE means no display, VERBOSE means extra information.
Definition at line 157 of file DefaultPhaseParameters.java.
◆ setHeuristic_num_failures_limit()
|
inline |
The failure limit for each heuristic that we run.
Definition at line 115 of file DefaultPhaseParameters.java.
◆ setHeuristic_period()
|
inline |
The distance in nodes between each run of the heuristics.
A negative or null value will mean that we will not run heuristics at all.
Definition at line 101 of file DefaultPhaseParameters.java.
◆ setInitialization_splits()
|
inline |
Maximum number of intervals that the initialization of impacts will scan per variable.
Definition at line 73 of file DefaultPhaseParameters.java.
◆ setPersistent_impact()
|
inline |
Whether to keep the impact from the first search for other searches, or to recompute the impact for each new search.
Definition at line 129 of file DefaultPhaseParameters.java.
◆ setRandom_seed()
|
inline |
Seed used to initialize the random part in some heuristics.
Definition at line 143 of file DefaultPhaseParameters.java.
◆ setRun_all_heuristics()
|
inline |
The default phase will run heuristics periodically.
This parameter indicates if we should run all heuristics, or a randomly selected one.
Definition at line 87 of file DefaultPhaseParameters.java.
◆ setUse_last_conflict()
|
inline |
Should we use last conflict method.
The default is false.
Definition at line 171 of file DefaultPhaseParameters.java.
◆ setValue_selection_schema()
|
inline |
This parameter describes which value to select for a given var.
Definition at line 59 of file DefaultPhaseParameters.java.
◆ setVar_selection_schema()
|
inline |
This parameter describes how the next variable to instantiate will be chosen.
Definition at line 45 of file DefaultPhaseParameters.java.
Member Data Documentation
◆ CHOOSE_MAX_AVERAGE_IMPACT
|
static |
Definition at line 203 of file DefaultPhaseParameters.java.
◆ CHOOSE_MAX_SUM_IMPACT
|
static |
Definition at line 202 of file DefaultPhaseParameters.java.
◆ CHOOSE_MAX_VALUE_IMPACT
|
static |
Definition at line 204 of file DefaultPhaseParameters.java.
◆ NONE
|
static |
Definition at line 211 of file DefaultPhaseParameters.java.
◆ NORMAL
|
static |
Definition at line 212 of file DefaultPhaseParameters.java.
◆ SELECT_MAX_IMPACT
|
static |
Definition at line 208 of file DefaultPhaseParameters.java.
◆ SELECT_MIN_IMPACT
|
static |
Definition at line 207 of file DefaultPhaseParameters.java.
◆ VERBOSE
|
static |
Definition at line 213 of file DefaultPhaseParameters.java.
The documentation for this class was generated from the following file: