Java Reference

Java Reference

DefaultPhaseParameters

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]

DefaultPhaseParameters ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 18 of file DefaultPhaseParameters.java.

◆ DefaultPhaseParameters() [2/2]

Definition at line 197 of file DefaultPhaseParameters.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Definition at line 32 of file DefaultPhaseParameters.java.

◆ getDecision_builder()

DecisionBuilder getDecision_builder ( )
inline

When defined, this overrides the default impact based decision builder.

Definition at line 192 of file DefaultPhaseParameters.java.

◆ getDisplay_level()

int 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()

int getHeuristic_num_failures_limit ( )
inline

The failure limit for each heuristic that we run.

Definition at line 122 of file DefaultPhaseParameters.java.

◆ getHeuristic_period()

int 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()

int 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()

boolean 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()

int getRandom_seed ( )
inline

Seed used to initialize the random part in some heuristics.

Definition at line 150 of file DefaultPhaseParameters.java.

◆ getRun_all_heuristics()

boolean 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()

boolean 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()

int 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()

int 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()

void setDecision_builder ( DecisionBuilder  value)
inline

When defined, this overrides the default impact based decision builder.

Definition at line 185 of file DefaultPhaseParameters.java.

◆ setDisplay_level()

void setDisplay_level ( int  value)
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()

void setHeuristic_num_failures_limit ( int  value)
inline

The failure limit for each heuristic that we run.

Definition at line 115 of file DefaultPhaseParameters.java.

◆ setHeuristic_period()

void setHeuristic_period ( int  value)
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()

void setInitialization_splits ( int  value)
inline

Maximum number of intervals that the initialization of impacts will scan per variable.

Definition at line 73 of file DefaultPhaseParameters.java.

◆ setPersistent_impact()

void setPersistent_impact ( boolean  value)
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()

void setRandom_seed ( int  value)
inline

Seed used to initialize the random part in some heuristics.

Definition at line 143 of file DefaultPhaseParameters.java.

◆ setRun_all_heuristics()

void setRun_all_heuristics ( boolean  value)
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()

void setUse_last_conflict ( boolean  value)
inline

Should we use last conflict method.

The default is false.

Definition at line 171 of file DefaultPhaseParameters.java.

◆ setValue_selection_schema()

void setValue_selection_schema ( int  value)
inline

This parameter describes which value to select for a given var.

Definition at line 59 of file DefaultPhaseParameters.java.

◆ setVar_selection_schema()

void setVar_selection_schema ( int  value)
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

final int CHOOSE_MAX_AVERAGE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_AVERAGE_IMPACT_get()
static

Definition at line 203 of file DefaultPhaseParameters.java.

◆ CHOOSE_MAX_SUM_IMPACT

final int CHOOSE_MAX_SUM_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_SUM_IMPACT_get()
static

Definition at line 202 of file DefaultPhaseParameters.java.

◆ CHOOSE_MAX_VALUE_IMPACT

final int CHOOSE_MAX_VALUE_IMPACT = mainJNI.DefaultPhaseParameters_CHOOSE_MAX_VALUE_IMPACT_get()
static

Definition at line 204 of file DefaultPhaseParameters.java.

◆ NONE

final int NONE = mainJNI.DefaultPhaseParameters_NONE_get()
static

Definition at line 211 of file DefaultPhaseParameters.java.

◆ NORMAL

final int NORMAL = mainJNI.DefaultPhaseParameters_NORMAL_get()
static

Definition at line 212 of file DefaultPhaseParameters.java.

◆ SELECT_MAX_IMPACT

final int SELECT_MAX_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MAX_IMPACT_get()
static

Definition at line 208 of file DefaultPhaseParameters.java.

◆ SELECT_MIN_IMPACT

final int SELECT_MIN_IMPACT = mainJNI.DefaultPhaseParameters_SELECT_MIN_IMPACT_get()
static

Definition at line 207 of file DefaultPhaseParameters.java.

◆ VERBOSE

final int VERBOSE = mainJNI.DefaultPhaseParameters_VERBOSE_get()
static

Definition at line 213 of file DefaultPhaseParameters.java.


The documentation for this class was generated from the following file: