choco.cp.solver.constraints.set
Class MemberXiY
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<Var>
choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint
choco.kernel.solver.constraints.set.AbstractLargeSetIntSConstraint
choco.cp.solver.constraints.set.MemberXiY
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<Var>, IntPropagator, SetPropagator, Cloneable, EventListener
public class MemberXiY
- extends AbstractLargeSetIntSConstraint
MEMBERXiY(〈X1,...,Xn〉, S) ensures that:
∀ i in [1,n], Xi ∈ S
- Since:
- 28/06/11
- Author:
- Charles Prud'homme
Methods inherited from class choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint |
awakeOnBounds, awakeOnEnvRemovals, awakeOnInf, awakeOnKer, awakeOnkerAdditions, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
MemberXiY
public MemberXiY(SetVar setvar,
IntDomainVar[] intvars)
build
public static Constraint build(IntegerVariable[] ivars,
SetVariable svar)
getFilteredEventMask
public int getFilteredEventMask(int idx)
- Overrides:
getFilteredEventMask
in class Propagator
propagate
public void propagate()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint until local consistency is reached.
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
- contradiction exception
awakeOnInst
public void awakeOnInst(int varIdx)
throws ContradictionException
- Description copied from interface:
SetPropagator
- Default propagation on instantiation.
- Specified by:
awakeOnInst
in interface IntPropagator
- Specified by:
awakeOnInst
in interface SetPropagator
- Overrides:
awakeOnInst
in class AbstractMixedSetIntSConstraint
- Throws:
ContradictionException
awakeOnEnv
public void awakeOnEnv(int varIdx,
int x)
throws ContradictionException
- Description copied from interface:
SetPropagator
- Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.
- Specified by:
awakeOnEnv
in interface SetPropagator
- Overrides:
awakeOnEnv
in class AbstractMixedSetIntSConstraint
- Throws:
ContradictionException
isSatisfied
public boolean isSatisfied()
- Description copied from interface:
SConstraint
- Semantic:
Testing if the constraint is satisfied.
Note that all variables involved in the constraint must be
instantiated when this method is called.
- Returns:
- true if the constraint is satisfied
Copyright © 2012. All Rights Reserved.