choco.palm
Interface Explanation

All Superinterfaces:

ConstraintCollection

All Known Subinterfaces:

IRemovalExplanation, PalmExplanation, RealBoundExplanation

All Known Implementing Classes:

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

public interface Explanation
extends ConstraintCollection

Method Summary

void	empties() Removes all constraints from this explanation.
Propagator	getConstraint(int i) return the i-th constraint of the explanation
SymbolicDecision[]	getNogood() return the nogood associated to the explanation
java.util.Set	toSet() Creates a set with all the constraints in the explain..

Methods inherited from interface choco.ConstraintCollection

add, addAll, clear, contains, containsAll, copy, delete, isEmpty, merge, size

Method Detail

toSet

java.util.Set toSet()

Creates a set with all the constraints in the explain..

Returns:

The explain as a set.

empties

void empties()

Removes all constraints from this explanation.

getConstraint

Propagator getConstraint(int i)

return the i-th constraint of the explanation

Parameters:

i - : the number of the constraint to return

getNogood

SymbolicDecision[] getNogood()

return the nogood associated to the explanation