choco.palm.real.explain
Interface RealBoundExplanation

All Superinterfaces:

ConstraintCollection, Explanation, PalmExplanation

All Known Implementing Classes:

AbstractRealBoundExplanation, RealDecSupExplanation, RealIncInfExplanation

public interface RealBoundExplanation
extends PalmExplanation

Method Summary

double	getPreviousValue() Returns the previous value of the bound (that is value the variable bound should equal if this explanaation is not valid anymore).
PalmRealVar	getVariable() Returns the variable involved by this explanation.

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

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

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

Method Detail

getPreviousValue

double getPreviousValue()

Returns the previous value of the bound (that is value the variable bound should equal if this explanaation is not valid anymore).

getVariable

PalmRealVar getVariable()

Returns the variable involved by this explanation.

Returns: