Constructor and Description |
---|
TabuListDecorator(VarOrderHeap order) |
TabuListDecorator(VarOrderHeap order,
int tabuSize) |
Modifier and Type | Method and Description |
---|---|
void |
assignLiteral(int q)
indicate that a literal has been satisfied.
|
IPhaseSelectionStrategy |
getPhaseSelectionStrategy() |
double[] |
getVariableHeuristics()
Read-Only access to the value of the heuristics for each variable.
|
void |
init()
that method has the responsibility to initialize all arrays in the
heuristics.
|
void |
printStat(PrintWriter out,
String prefix)
Display statistics regarding the heuristics.
|
int |
select()
Selects the next "best" unassigned literal.
|
void |
setLits(ILits lits)
Method used to provide an easy access the the solver vocabulary.
|
void |
setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) |
void |
setVarDecay(double d)
Sets the variable activity decay as a growing factor for the next
variable activity.
|
String |
toString() |
void |
undo(int x)
Method called when a variable is unassigned.
|
void |
updateVar(int q)
To be called when the activity of a literal changed.
|
void |
updateVarAtDecisionLevel(int q)
Allow to perform a specific action when a literal of the current decision
level is updated.
|
double |
varActivity(int q)
To obtain the current activity of a variable.
|
void |
varDecayActivity()
Decay the variables activities.
|
public TabuListDecorator(VarOrderHeap order)
public TabuListDecorator(VarOrderHeap order, int tabuSize)
public void assignLiteral(int q)
IOrder
assignLiteral
in interface IOrder
public IPhaseSelectionStrategy getPhaseSelectionStrategy()
getPhaseSelectionStrategy
in interface IOrder
public void init()
IOrder
public void printStat(PrintWriter out, String prefix)
IOrder
public int select()
IOrder
public void setLits(ILits lits)
IOrder
public void setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)
setPhaseSelectionStrategy
in interface IOrder
public void setVarDecay(double d)
IOrder
setVarDecay
in interface IOrder
d
- a number bigger than 1 that will increase the activity of the
variables involved in future conflict. This is similar but
more efficient than decaying all the activities by a similar
factor.public void undo(int x)
IOrder
public void updateVar(int q)
IOrder
public double varActivity(int q)
IOrder
varActivity
in interface IOrder
q
- a literalpublic void varDecayActivity()
IOrder
varDecayActivity
in interface IOrder
public void updateVarAtDecisionLevel(int q)
IOrder
IOrder.updateVar(int)
.updateVarAtDecisionLevel
in interface IOrder
q
- a literalpublic double[] getVariableHeuristics()
IOrder
getVariableHeuristics
in interface IOrder
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.