choco.palm.dbt.search
Class PalmLearn

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

Direct Known Subclasses:

PalmRepairLearn, PathRepairLearn

public class PalmLearn
extends PalmAbstractSolverTool

Field Summary

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

manager

Constructor Summary

PalmLearn()

Method Summary

boolean	checkAcceptable(java.util.List constraints)
boolean	checkAcceptableRelaxation(Constraint constraint)
void	learnFromContradiction(PalmExplanation expl)
void	learnFromRemoval(Constraint constraint)
java.util.ArrayList	sortConstraintToUndo(PalmExplanation expl)

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

Constructor Detail

PalmLearn

public PalmLearn()

Method Detail

learnFromContradiction

public void learnFromContradiction(PalmExplanation expl)

learnFromRemoval

public void learnFromRemoval(Constraint constraint)

checkAcceptable

public boolean checkAcceptable(java.util.List constraints)

checkAcceptableRelaxation

public boolean checkAcceptableRelaxation(Constraint constraint)

sortConstraintToUndo

public java.util.ArrayList sortConstraintToUndo(PalmExplanation expl)