choco.palm.search
Interface SymbolicDecision

All Superinterfaces:

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

All Known Subinterfaces:

DecisionConstraint

All Known Implementing Classes:

AbstractDecision, AbstractPalmSplit, Assignment, PalmAssignment, PalmSplitLeft, PalmSplitRight

public interface SymbolicDecision
extends PalmConstraint

Method Summary

int	getBranch() Returns the number identifying the current branch.

Methods inherited from interface choco.palm.PalmConstraint

takeIntoAccountStatusChange

Methods inherited from interface choco.Propagator

assignIndices, awake, awakeOnVar, constAwake, delete, getEvent, getPlugIn, getPriority, isCompletelyInstantiated, isConsistent, isEntailed, propagate

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.Constraint

clone, getConstraintIdx, getNbVars, getVar, getVarIdxInOpposite, isEquivalentTo, isSatisfied, opposite, setConstraintIndex, setVar

Methods inherited from interface choco.Entity

getProblem, pretty

Methods inherited from interface choco.palm.PalmVarListener

getConstraintIdx, setConstraintIndex, updateDataStructuresOnConstraint, updateDataStructuresOnRestoreConstraint

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Method Detail

getBranch

int getBranch()

Returns the number identifying the current branch.