|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.palm.dbt.explain.GenericExplanation
choco.palm.real.explain.AbstractRealBoundExplanation
public abstract class AbstractRealBoundExplanation
Abstract implementation of a real bound explanation.
Field Summary | |
---|---|
protected double |
previousValue
Previous value of the variable bound. |
protected PalmRealVar |
variable
Touched variable. |
Fields inherited from class choco.palm.dbt.explain.GenericExplanation |
---|
explanation, pb, timeStamp |
Constructor Summary | |
---|---|
AbstractRealBoundExplanation(AbstractProblem pb)
Creates such an explanation for the specified problem. |
Method Summary | |
---|---|
double |
getPreviousValue()
Returns the previous value of the variable bound. |
PalmRealVar |
getVariable()
Returns the touched variable (the variable which this explanations explains the domain). |
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, postUndoRemoval, reinitTimestamp, removeDependencies, size, toNogood, toSet, toString |
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, 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 |
Field Detail |
---|
protected double previousValue
protected PalmRealVar variable
Constructor Detail |
---|
public AbstractRealBoundExplanation(AbstractProblem pb)
Method Detail |
---|
public double getPreviousValue()
getPreviousValue
in interface RealBoundExplanation
public PalmRealVar getVariable()
getVariable
in interface RealBoundExplanation
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |