choco.palm.dbt.search
Class PalmUnsureRepair

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

public class PalmUnsureRepair
extends PalmRepair

Field Summary

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

manager

Constructor Summary

PalmUnsureRepair()

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

PalmUnsureRepair

public PalmUnsureRepair()

Method Detail

selectDecisionToUndo

public Constraint selectDecisionToUndo(PalmExplanation expl)

Description copied from class: PalmRepair

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.

Overrides:

selectDecisionToUndo in class PalmRepair

Parameters:

expl - The explain of the contradiction.