public class MoveLearnBinaryTDR extends LearnExplained implements Move
[1]: N. Jussien, O. Lhomme, Local search with constraint propagation and conflict-based heuristics, AI-139 (2002).
Created by cprudhom on 04/11/2015. Project: choco.
lastExplanation, mExplainer, mModel
Modifier and Type | Method and Description |
---|---|
boolean |
extend(Solver solver)
Performs a move when the CSP associated to the current node of the search space is not proven to be not consistent.
|
List<Move> |
getChildMoves()
Returns the child moves or null
Some Move only accepts one single move as child.
|
<V extends Variable> |
getStrategy()
Returns the search strategy in use.
|
boolean |
init()
Called before the search starts.
|
void |
onFailure(Solver solver)
Actions to do when a failure is met.
|
boolean |
repair(Solver solver)
Performs a move when the CSP associated to the current node of the search space is proven to be not consistent.
|
void |
setChildMoves(List<Move> someMoves)
Overrides this child moves (if possible and if any).
|
<V extends Variable> |
setStrategy(AbstractStrategy<V> aStrategy)
Defines a search strategy, that is, a service which computes and returns decisions.
|
void |
setTopDecisionPosition(int position)
Indicates the position of decision made just before selecting this move.
|
forget, getLastExplanation, onSolution, record
public boolean extend(Solver solver)
Move
public boolean repair(Solver solver)
Move
public void onFailure(Solver solver)
onFailure
in class LearnExplained
public boolean init()
Move
public <V extends Variable> AbstractStrategy<V> getStrategy()
Move
getStrategy
in interface Move
V
- the type of variable managed by the strategypublic <V extends Variable> void setStrategy(AbstractStrategy<V> aStrategy)
Move
setStrategy
in interface Move
V
- the type of variable managed by the strategyaStrategy
- a search strategypublic List<Move> getChildMoves()
Move
getChildMoves
in interface Move
public void setChildMoves(List<Move> someMoves)
Move
setChildMoves
in interface Move
someMoves
- a new child movepublic void setTopDecisionPosition(int position)
Move
Move.extend(Solver)
and is checked on Move.repair(Solver)
.setTopDecisionPosition
in interface Move
position
- position of the last decision taken before applying this moveCopyright © 2017. All rights reserved.