choco.palm.dbt.search
Interface DecisionConstraint

All Superinterfaces:

java.lang.Cloneable, Constraint, Entity, java.util.EventListener, PalmConstraint, PalmVarListener, Propagator, SymbolicDecision, VarEventListener

All Known Implementing Classes:

AbstractDecision, AbstractPalmSplit, Assignment, PalmAssignment, PalmSplitLeft, PalmSplitRight

public interface DecisionConstraint
extends PalmConstraint, SymbolicDecision

An enumeration constraint like instantiation.

Method Summary

int	getBranch() Returns the number identifying the current branch.
Constraint	negate() Returns the negation of this enumeration constraint.

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Method Detail

negate

Constraint negate()

Returns the negation of this enumeration constraint.

getBranch

int getBranch()

Returns the number identifying the current branch.

Specified by:

getBranch in interface SymbolicDecision