choco.palm.dbt.explain
Interface PalmExplanation

All Superinterfaces:

ConstraintCollection, Explanation

All Known Subinterfaces:

IRemovalExplanation, RealBoundExplanation

All Known Implementing Classes:

AbstractBoundExplanation, AbstractRealBoundExplanation, DecSupExplanation, GenericExplanation, IncInfExplanation, RealDecSupExplanation, RealIncInfExplanation, RemovalExplanation

public interface PalmExplanation
extends Explanation

PalmExplanation interface.

Method Summary

java.util.BitSet	getBitSet() Copies the explain set and returns the new bitset.
boolean	isValid() Checks if the explain is valid, that is wether all the constraint are active.
boolean	isValid(int date) Checks if the explain is valid, that is wether all the constraint are active.
RealBoundExplanation	makeDecSupExplanation(double sup, PalmRealVar var) Makes a DecSupExplanation from the current explain by adding dependencies.
IBoundExplanation	makeDecSupExplanation(int sup, PalmIntVar var) Makes a DecSupExplanation from the current explain by adding dependencies.
RealBoundExplanation	makeIncInfExplanation(double inf, PalmRealVar var) Makes an IncInfExplanation from the current explain by adding dependencies.
IBoundExplanation	makeIncInfExplanation(int inf, PalmIntVar var) Makes an IncInfExplanation from the current explain by adding dependencies.
IRemovalExplanation	makeRemovalExplanation(int value, PalmIntVar var) Makes a RemovalExplanation from the current explain by adding dependencies.
void	postUndoRemoval(Constraint constraint) Posts a restoration prop.

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

Method Detail

makeIncInfExplanation

IBoundExplanation makeIncInfExplanation(int inf,
                                        PalmIntVar var)

Makes an IncInfExplanation from the current explain by adding dependencies.

Parameters:

inf - The previous value of the bound.

var - The involved variable.

makeDecSupExplanation

IBoundExplanation makeDecSupExplanation(int sup,
                                        PalmIntVar var)

Makes a DecSupExplanation from the current explain by adding dependencies.

Parameters:

sup - The previous value of the bound.

var - The involved variable.

makeRemovalExplanation

IRemovalExplanation makeRemovalExplanation(int value,
                                           PalmIntVar var)

Makes a RemovalExplanation from the current explain by adding dependencies.

Parameters:

value - The removed value of the domain.

var - The involved variable.

makeIncInfExplanation

RealBoundExplanation makeIncInfExplanation(double inf,
                                           PalmRealVar var)

Makes an IncInfExplanation from the current explain by adding dependencies.

Parameters:

inf - The previous value of the bound.

var - The involved variable.

makeDecSupExplanation

RealBoundExplanation makeDecSupExplanation(double sup,
                                           PalmRealVar var)

Makes a DecSupExplanation from the current explain by adding dependencies.

Parameters:

sup - The previous value of the bound.

var - The involved variable.

postUndoRemoval

void postUndoRemoval(Constraint constraint)

Posts a restoration prop.

Parameters:

constraint -

getBitSet

java.util.BitSet getBitSet()

Copies the explain set and returns the new bitset.

Returns:

The explain as a BitSet.

isValid

boolean isValid()

Checks if the explain is valid, that is wether all the constraint are active.

isValid

boolean isValid(int date)

Checks if the explain is valid, that is wether all the constraint are active. Moreover, it checks that all constraints were poseted before the specified date.