choco.palm.dbt.integer.explain
Class RemovalExplanation

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

All Implemented Interfaces:

ConstraintCollection, PalmExplanation, IRemovalExplanation, Explanation

public class RemovalExplanation
extends GenericExplanation
implements IRemovalExplanation

Field Summary

protected int	value
protected PalmIntVar	variable

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

explanation, pb, timeStamp

Constructor Summary

RemovalExplanation(AbstractProblem pb, java.util.BitSet explanation, int value, 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.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

Field Detail

value

protected int value

variable

protected PalmIntVar variable

Constructor Detail

RemovalExplanation

public RemovalExplanation(AbstractProblem pb,
                          java.util.BitSet explanation,
                          int value,
                          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