Java Reference
Java Reference
DefaultPhaseParameters.java
Go to the documentation of this file.
186 mainJNI.DefaultPhaseParameters_decision_builder_set(swigCPtr, this, DecisionBuilder.getCPtr(value), value);
202 public final static int CHOOSE_MAX_SUM_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_SUM_IMPACT_get();
203 public final static int CHOOSE_MAX_AVERAGE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_AVERAGE_IMPACT_get();
204 public final static int CHOOSE_MAX_VALUE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_VALUE_IMPACT_get();
207 public final static int SELECT_MIN_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MIN_IMPACT_get();
208 public final static int SELECT_MAX_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MAX_IMPACT_get();
void setHeuristic_period(int value)
The distance in nodes between each run of the heuristics.
Definition: DefaultPhaseParameters.java:101
static final int NORMAL
Definition: DefaultPhaseParameters.java:212
int getHeuristic_num_failures_limit()
The failure limit for each heuristic that we run.
Definition: DefaultPhaseParameters.java:122
void setHeuristic_num_failures_limit(int value)
The failure limit for each heuristic that we run.
Definition: DefaultPhaseParameters.java:115
int getVar_selection_schema()
This parameter describes how the next variable to instantiate will be chosen.
Definition: DefaultPhaseParameters.java:52
DefaultPhaseParameters()
Definition: DefaultPhaseParameters.java:197
boolean getPersistent_impact()
Whether to keep the impact from the first search for other searches, or to recompute the impact for e...
Definition: DefaultPhaseParameters.java:136
void setInitialization_splits(int value)
Maximum number of intervals that the initialization of impacts will scan per variable.
Definition: DefaultPhaseParameters.java:73
static final int SELECT_MAX_IMPACT
Definition: DefaultPhaseParameters.java:208
void setPersistent_impact(boolean value)
Whether to keep the impact from the first search for other searches, or to recompute the impact for e...
Definition: DefaultPhaseParameters.java:129
static final int VERBOSE
Definition: DefaultPhaseParameters.java:213
A DecisionBuilder is responsible for creating the search tree.
Definition: DecisionBuilder.java:14
static final int CHOOSE_MAX_VALUE_IMPACT
Definition: DefaultPhaseParameters.java:204
int getValue_selection_schema()
This parameter describes which value to select for a given var.
Definition: DefaultPhaseParameters.java:66
static final int NONE
Definition: DefaultPhaseParameters.java:211
This struct holds all parameters for the default search.
Definition: DefaultPhaseParameters.java:14
void setRandom_seed(int value)
Seed used to initialize the random part in some heuristics.
Definition: DefaultPhaseParameters.java:143
void setUse_last_conflict(boolean value)
Should we use last conflict method.
Definition: DefaultPhaseParameters.java:171
DecisionBuilder getDecision_builder()
When defined, this overrides the default impact based decision builder.
Definition: DefaultPhaseParameters.java:192
void setRun_all_heuristics(boolean value)
The default phase will run heuristics periodically.
Definition: DefaultPhaseParameters.java:87
int getHeuristic_period()
The distance in nodes between each run of the heuristics.
Definition: DefaultPhaseParameters.java:108
void setDecision_builder(DecisionBuilder value)
When defined, this overrides the default impact based decision builder.
Definition: DefaultPhaseParameters.java:185
static final int CHOOSE_MAX_SUM_IMPACT
Definition: DefaultPhaseParameters.java:202
void setDisplay_level(int value)
This represents the amount of information displayed by the default search.
Definition: DefaultPhaseParameters.java:157
int getRandom_seed()
Seed used to initialize the random part in some heuristics.
Definition: DefaultPhaseParameters.java:150
static final int SELECT_MIN_IMPACT
Definition: DefaultPhaseParameters.java:207
void setVar_selection_schema(int value)
This parameter describes how the next variable to instantiate will be chosen.
Definition: DefaultPhaseParameters.java:45
boolean getRun_all_heuristics()
The default phase will run heuristics periodically.
Definition: DefaultPhaseParameters.java:94
static final int CHOOSE_MAX_AVERAGE_IMPACT
Definition: DefaultPhaseParameters.java:203
int getInitialization_splits()
Maximum number of intervals that the initialization of impacts will scan per variable.
Definition: DefaultPhaseParameters.java:80
DefaultPhaseParameters(long cPtr, boolean cMemoryOwn)
Definition: DefaultPhaseParameters.java:18
boolean getUse_last_conflict()
Should we use last conflict method.
Definition: DefaultPhaseParameters.java:178
void setValue_selection_schema(int value)
This parameter describes which value to select for a given var.
Definition: DefaultPhaseParameters.java:59
int getDisplay_level()
This represents the amount of information displayed by the default search.
Definition: DefaultPhaseParameters.java:164