choco.palm.dbt.integer.explain
Class AbstractBoundExplanation

java.lang.Object
  choco.palm.dbt.explain.GenericExplanation
      choco.palm.dbt.integer.explain.AbstractBoundExplanation

All Implemented Interfaces:

ConstraintCollection, PalmExplanation, IBoundExplanation, Explanation

Direct Known Subclasses:

DecSupExplanation, IncInfExplanation

public abstract class AbstractBoundExplanation
extends GenericExplanation
implements IBoundExplanation

Field Summary

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

explanation, pb, timeStamp

Constructor Summary

AbstractBoundExplanation(AbstractProblem pb)

Method Summary

int	getPreviousValue()
PalmIntVar	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, postUndoRemoval, reinitTimestamp, removeDependencies, size, toNogood, toSet, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractBoundExplanation

public AbstractBoundExplanation(AbstractProblem pb)

Method Detail

getPreviousValue

public int getPreviousValue()

Specified by:

getPreviousValue in interface IBoundExplanation

getVariable

public PalmIntVar getVariable()

Specified by:

getVariable in interface IBoundExplanation