choco.palm.dbt.search
Class PalmRepairLearn

java.lang.Object
  choco.palm.dbt.search.PalmAbstractSolverTool
      choco.palm.dbt.search.PalmLearn
          choco.palm.dbt.search.PalmRepairLearn

public class PalmRepairLearn
extends PalmLearn

Field Summary

protected java.util.LinkedList	explanations
protected int	maxMoves
protected int	maxSize

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

manager

Constructor Summary

PalmRepairLearn()

Method Summary

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

checkAcceptable, checkAcceptableRelaxation, learnFromContradiction, 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

maxMoves

protected int maxMoves

explanations

protected java.util.LinkedList explanations

maxSize

protected int maxSize

Constructor Detail

PalmRepairLearn

public PalmRepairLearn()