- java.lang.Object
-
- solver.constraints.Propagator<solver.variables.Variable>
-
- org.clafer.choco.constraint.propagator.PropIntNotMemberSet
-
-
Field Summary
-
Fields inherited from class solver.constraints.Propagator
aCause, ACTIVE, coarseERcalls, constraint, environment, eventmasks, fails, fineERcalls, LOGGER, NEW, PASSIVE, priority, reactToFineEvt, REIFIED, solver, vars
-
Constructor Summary
Constructors
Constructor and Description |
PropIntNotMemberSet(solver.variables.IntVar element,
solver.variables.SetVar set) |
-
Method Summary
-
Methods inherited from class solver.constraints.Propagator
addVariable, advise, arity, clearMask, compareTo, contradiction, decNbPendingEvt, defineIn, dynPriority, explain, flushPendingEvt, forcePropagate, getConstraint, getId, getMask, getNbPendingEvt, getNbVars, getPriority, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, updateMask
Copyright © 2013. All Rights Reserved.