public class DefaultPhaseParameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
CHOOSE_MAX_AVERAGE_IMPACT |
static int |
CHOOSE_MAX_SUM_IMPACT |
static int |
CHOOSE_MAX_VALUE_IMPACT |
static int |
NONE |
static int |
NORMAL |
static int |
SELECT_MAX_IMPACT |
static int |
SELECT_MIN_IMPACT |
protected boolean |
swigCMemOwn |
static int |
VERBOSE |
Constructor and Description |
---|
DefaultPhaseParameters() |
DefaultPhaseParameters(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(DefaultPhaseParameters obj) |
DecisionBuilder |
getDecisionBuilder()
When defined, this overrides the default impact based decision builder.
|
int |
getDisplayLevel()
This represents the amount of information displayed by the default search.
|
int |
getHeuristicNumFailuresLimit()
The failure limit for each heuristic that we run.
|
int |
getHeuristicPeriod()
The distance in nodes between each run of the heuristics.
|
int |
getInitializationSplits()
Maximum number of intervals that the initialization of impacts will scan
per variable. |
boolean |
getPersistentImpact()
Whether to keep the impact from the first search for other searches,
or to recompute the impact for each new search. |
int |
getRandomSeed()
Seed used to initialize the random part in some heuristics.
|
boolean |
getRunAllHeuristics()
The default phase will run heuristics periodically.
|
boolean |
getUseLastConflict()
Should we use last conflict method.
|
int |
getValueSelectionSchema()
This parameter describes which value to select for a given var.
|
int |
getVarSelectionSchema()
This parameter describes how the next variable to instantiate
will be chosen. |
void |
keepAliveDecisionBuilder(DecisionBuilder db) |
void |
setDecisionBuilder(DecisionBuilder value)
When defined, this overrides the default impact based decision builder.
|
void |
setDisplayLevel(int value)
This represents the amount of information displayed by the default search.
|
void |
setHeuristicNumFailuresLimit(int value)
The failure limit for each heuristic that we run.
|
void |
setHeuristicPeriod(int value)
The distance in nodes between each run of the heuristics.
|
void |
setInitializationSplits(int value)
Maximum number of intervals that the initialization of impacts will scan
per variable. |
void |
setPersistentImpact(boolean value)
Whether to keep the impact from the first search for other searches,
or to recompute the impact for each new search. |
void |
setRandomSeed(int value)
Seed used to initialize the random part in some heuristics.
|
void |
setRunAllHeuristics(boolean value)
The default phase will run heuristics periodically.
|
void |
setUseLastConflict(boolean value)
Should we use last conflict method.
|
void |
setValueSelectionSchema(int value)
This parameter describes which value to select for a given var.
|
void |
setVarSelectionSchema(int value)
This parameter describes how the next variable to instantiate
will be chosen. |
static long |
swigRelease(DefaultPhaseParameters obj) |
protected transient boolean swigCMemOwn
public static final int CHOOSE_MAX_SUM_IMPACT
public static final int CHOOSE_MAX_AVERAGE_IMPACT
public static final int CHOOSE_MAX_VALUE_IMPACT
public static final int SELECT_MIN_IMPACT
public static final int SELECT_MAX_IMPACT
public static final int NONE
public static final int NORMAL
public static final int VERBOSE
public DefaultPhaseParameters(long cPtr, boolean cMemoryOwn)
public DefaultPhaseParameters()
public static long getCPtr(DefaultPhaseParameters obj)
public static long swigRelease(DefaultPhaseParameters obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public void keepAliveDecisionBuilder(DecisionBuilder db)
public void setVarSelectionSchema(int value)
public int getVarSelectionSchema()
public void setValueSelectionSchema(int value)
public int getValueSelectionSchema()
public void setInitializationSplits(int value)
public int getInitializationSplits()
public void setRunAllHeuristics(boolean value)
public boolean getRunAllHeuristics()
public void setHeuristicPeriod(int value)
public int getHeuristicPeriod()
public void setHeuristicNumFailuresLimit(int value)
public int getHeuristicNumFailuresLimit()
public void setPersistentImpact(boolean value)
public boolean getPersistentImpact()
public void setRandomSeed(int value)
public int getRandomSeed()
public void setDisplayLevel(int value)
public int getDisplayLevel()
public void setUseLastConflict(boolean value)
public boolean getUseLastConflict()
public void setDecisionBuilder(DecisionBuilder value)
public DecisionBuilder getDecisionBuilder()
Copyright © 2025. All rights reserved.