choco.palm.dbt.integer.explain
Class DecSupExplanation

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

All Implemented Interfaces:

ConstraintCollection, PalmExplanation, IBoundExplanation, Explanation

public class DecSupExplanation
extends AbstractBoundExplanation

Field Summary

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

explanation, pb, timeStamp

Constructor Summary

DecSupExplanation(AbstractProblem pb, java.util.BitSet explanation, int previousValue, PalmIntVar variable)

Method Summary

void	postUndoRemoval(Constraint removed) Posts a restoration prop.
java.lang.String	toString() Pretty print of the explain.

Methods inherited from class choco.palm.dbt.integer.explain.AbstractBoundExplanation

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

Constructor Detail

DecSupExplanation

public DecSupExplanation(AbstractProblem pb,
                         java.util.BitSet explanation,
                         int previousValue,
                         PalmIntVar variable)

Method Detail

toString

public java.lang.String toString()

Description copied from class: GenericExplanation

Pretty print of the explain.

Overrides:

toString in class GenericExplanation

postUndoRemoval

public void postUndoRemoval(Constraint removed)

Description copied from class: GenericExplanation

Posts a restoration prop.

Specified by:

postUndoRemoval in interface PalmExplanation

Overrides:

postUndoRemoval in class GenericExplanation