- java.lang.Object
-
- solver.constraints.Propagator<solver.variables.SetVar>
-
- org.clafer.choco.constraint.propagator.PropSetNotEqual
-
-
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 |
PropSetNotEqual(solver.variables.SetVar s1,
solver.variables.SetVar s2) |
-
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.