choco.integer
Interface IntConstraint

All Superinterfaces:

java.lang.Cloneable, Constraint, Entity, java.util.EventListener, IntVarEventListener, Propagator, VarEventListener

All Known Subinterfaces:

BoolConstraint, MixedConstraint, PalmMixedConstraint

All Known Implementing Classes:

AbstractBinBoolConstraint, AbstractBinBoolConstraintWithCounterOpposite, AbstractBinIntConstraint, AbstractBinSetIntConstraint, AbstractBipartiteFlow, AbstractBipartiteGraph, AbstractBipartiteMatching, AbstractIntConstraint, AbstractLargeBoolConstraint, AbstractLargeBoolConstraintWithCounterOpposite, AbstractLargeIntConstraint, AbstractMixedConstraint, AbstractPalmBinIntConstraint, AbstractPalmLargeIntConstraint, AbstractPalmTernIntConstraint, AbstractPalmUnIntConstraint, AbstractTernIntConstraint, AbstractUnIntConstraint, AC2001BinConstraint, AC3BinConstraint, AC4BinConstraint, AllDifferent, BinConjunction, BinDisjunction, BooleanChanneling, BoundAllDiff, Cardinality, CspBinConstraint, CspLargeConstraint, Cumulative, Element, ElementV, EqualXC, EqualXYC, Equiv, GAC2001LargeConstraint, GlobalCardinality, GreaterOrEqualXC, GreaterOrEqualXYC, Guard, IntLinComb, InverseChanneling, LargeConjunction, LargeDisjunction, LessOrEqualXC, Lex, MemberXY, MixedCstElt, MixedEqXY, NogoodConstraint, NotEqualXC, NotEqualXYC, NotMemberXY, Occurrence, PalmAllDifferent, PalmAssignment, PalmCardinality, PalmElt, PalmElt2D, PalmEqualXC, PalmEqualXYC, PalmGreaterOrEqualXC, PalmGreaterOrEqualXYC, PalmIntLinComb, PalmLessOrEqualXC, PalmMixedCstElt, PalmMixedEqXY, PalmNotEqualXC, PalmNotEqualXYC, PalmOccurence, SetCard, TimesXYZ

public interface IntConstraint
extends Constraint, Propagator, IntVarEventListener

An interface for all implementations of listeners using search variables.

Method Summary

void	awakeOnBounds(int varIdx)
void	awakeOnRemovals(int varIdx, IntIterator deltaDomain)
IntDomainVar	getIntVar(int i) Network management: Accessing the i-th search variable of a constraint.

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.integer.var.IntVarEventListener

awakeOnInf, awakeOnInst, awakeOnRem, awakeOnSup, getConstraintIdx, setConstraintIndex

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Method Detail

getIntVar

IntDomainVar getIntVar(int i)

Network management: Accessing the i-th search variable of a constraint.

Parameters:

i - index of the variable among all search variables in the constraint. Numbering start from 0 on.

Returns:

the variable, or null when no such variable is found

awakeOnRemovals

void awakeOnRemovals(int varIdx,
                     IntIterator deltaDomain)
                     throws ContradictionException

Throws:

ContradictionException

awakeOnBounds

void awakeOnBounds(int varIdx)
                   throws ContradictionException

Throws:

ContradictionException