choco.palm.real.explain
Class RealDecSupExplanation

java.lang.Object
  choco.palm.dbt.explain.GenericExplanation
      choco.palm.real.explain.AbstractRealBoundExplanation
          choco.palm.real.explain.RealDecSupExplanation

All Implemented Interfaces:

ConstraintCollection, PalmExplanation, Explanation, RealBoundExplanation

public class RealDecSupExplanation
extends AbstractRealBoundExplanation

Implements an explanation for upper bound decrease.

Field Summary

Fields inherited from class choco.palm.real.explain.AbstractRealBoundExplanation

previousValue, variable

Fields inherited from class choco.palm.dbt.explain.GenericExplanation

explanation, pb, timeStamp

Constructor Summary

RealDecSupExplanation(AbstractProblem pb, java.util.BitSet explanation, double previousValue, PalmRealVar variable)
Creates such an explanation with all constraints contained in the explanation parameter, with the specified previous value of the bound, and for the specified touched variable.

Method Summary

void	postUndoRemoval(Constraint removed) If a constraint contained in this explanation is removed, this method cancels past effects of this constraint.
java.lang.String	toString() Creates a string representing this explanation.

Methods inherited from class choco.palm.real.explain.AbstractRealBoundExplanation

getPreviousValue, getVariable

Methods inherited from class choco.palm.dbt.explain.GenericExplanation

add, addAll, addDependencies, clear, contains, containsAll, copy, delete, empties, getBitSet, getConstraint, getNogood, hashCode, isEmpty, isValid, isValid, makeDecSupExplanation, makeDecSupExplanation, makeIncInfExplanation, makeIncInfExplanation, makeRemovalExplanation, merge, reinitTimestamp, removeDependencies, size, toNogood, toSet

Methods inherited from class java.lang.Object

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

Methods inherited from interface choco.palm.dbt.explain.PalmExplanation

getBitSet, isValid, isValid, makeDecSupExplanation, makeDecSupExplanation, makeIncInfExplanation, makeIncInfExplanation, makeRemovalExplanation

Methods inherited from interface choco.palm.Explanation

empties, getConstraint, getNogood, toSet

Methods inherited from interface choco.ConstraintCollection

add, addAll, clear, contains, containsAll, copy, delete, isEmpty, merge, size

Constructor Detail

RealDecSupExplanation

public RealDecSupExplanation(AbstractProblem pb,
                             java.util.BitSet explanation,
                             double previousValue,
                             PalmRealVar variable)

Creates such an explanation with all constraints contained in the explanation parameter, with the specified previous value of the bound, and for the specified touched variable.

Method Detail

toString

public java.lang.String toString()

Creates a string representing this explanation.

Overrides:

toString in class GenericExplanation

postUndoRemoval

public void postUndoRemoval(Constraint removed)

If a constraint contained in this explanation is removed, this method cancels past effects of this constraint.

Specified by:

postUndoRemoval in interface PalmExplanation

Overrides:

postUndoRemoval in class GenericExplanation

Parameters:

removed -