choco.palm.dbt.search
Class PalmRepair

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

Direct Known Subclasses:

PalmUnsureRepair

public class PalmRepair
extends PalmAbstractSolverTool

A repairing algorithm.

Field Summary

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

manager

Constructor Summary

PalmRepair()

Method Summary

Constraint

selectDecisionToUndo(PalmExplanation expl) Selects a decision to undo for repairing a contradiction.

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

PalmRepair

public PalmRepair()

Method Detail

selectDecisionToUndo

public Constraint selectDecisionToUndo(PalmExplanation expl)

Selects a decision to undo for repairing a contradiction. In this default implementation, it selects the minimal constraints in the provided explain w.r.t. the BetterConstraintComparator order.

Parameters:

expl - The explain of the contradiction.