- java.lang.Object
-
- solver.constraints.Propagator<solver.variables.BoolVar>
-
- org.clafer.choco.constraint.propagator.PropAnd
-
-
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 |
PropAnd(solver.variables.BoolVar[] vars) |
-
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.