choco.palm.dbt.integer.explain
Interface IRemovalExplanation

All Superinterfaces:

ConstraintCollection, Explanation, PalmExplanation

All Known Implementing Classes:

RemovalExplanation

public interface IRemovalExplanation
extends PalmExplanation

Method Summary

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