choco.palm.dbt.search.pathrepair
Class PathRepairLearn

java.lang.Object
  choco.palm.dbt.search.PalmAbstractSolverTool
      choco.palm.dbt.search.PalmLearn
          choco.palm.dbt.search.pathrepair.PathRepairLearn

public class PathRepairLearn
extends PalmLearn

Field Summary

protected NogoodConstraint	explanations
protected int	maxSize

Fields inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

manager

Constructor Summary

PathRepairLearn()

PathRepairLearn(int lSize)

PathRepairLearn(int lSize, NogoodConstraint ngc)

Method Summary

void	addForbiddenSituation(ConstraintCollection nogood) Update the tabou list of nogood
void	addSolution()
void	assertValidSearchInfo(PalmExplanation expl)
void	informConstraintsInExplanation(PalmExplanation expl) maintain the searchInfo parameter on each constraint concerned by the conflict
void	learnFromContradiction(PalmExplanation expl)
void	learnFromRemoval(AbstractConstraint ct)
void	setMemory(NogoodConstraint exp)

Methods inherited from class choco.palm.dbt.search.PalmLearn

checkAcceptable, checkAcceptableRelaxation, learnFromRemoval, sortConstraintToUndo

Methods inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

getManager, setManager

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

maxSize

protected int maxSize

explanations

protected NogoodConstraint explanations

Constructor Detail

PathRepairLearn

public PathRepairLearn()

PathRepairLearn

public PathRepairLearn(int lSize,
                       NogoodConstraint ngc)

PathRepairLearn

public PathRepairLearn(int lSize)

Method Detail

setMemory

public void setMemory(NogoodConstraint exp)

addSolution

public void addSolution()

addForbiddenSituation

public void addForbiddenSituation(ConstraintCollection nogood)

Update the tabou list of nogood

Parameters:

nogood -

learnFromContradiction

public void learnFromContradiction(PalmExplanation expl)

Overrides:

learnFromContradiction in class PalmLearn

informConstraintsInExplanation

public void informConstraintsInExplanation(PalmExplanation expl)

maintain the searchInfo parameter on each constraint concerned by the conflict

Parameters:

expl -

learnFromRemoval

public void learnFromRemoval(AbstractConstraint ct)

assertValidSearchInfo

public void assertValidSearchInfo(PalmExplanation expl)