public class PropCompactTableStar extends PropCompactTable
PropCompactTable.RSparseBitSet
monitors, offset, supports, tuples
ACTIVE, constraint, DEFAULT_EXPL, model, operations, OUTPUT_DEFAULT_EXPL, priority, reactToFineEvt, state, vars
Constructor and Description |
---|
PropCompactTableStar(IntVar[] vars,
Tuples tuples)
Create a propagator for table constraint
Only for feasible Tuples
|
Modifier and Type | Method and Description |
---|---|
protected void |
computeSupports(Tuples tuples) |
protected UnaryIntProcedure<Integer> |
makeProcedure() |
isEntailed, propagate, propagate
addVariable, arity, compareTo, defaultExplain, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, explain, fails, forcePropagate, forcePropagationOnBacktrack, forEachIntVar, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getPropagationConditions, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReified, isReifiedAndSilent, isScheduled, isStateLess, linkVariables, reactToFineEvent, reifiedWith, setActive, setActive0, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables, unschedule
protected UnaryIntProcedure<Integer> makeProcedure()
makeProcedure
in class PropCompactTable
protected void computeSupports(Tuples tuples)
computeSupports
in class PropCompactTable
Copyright © 2018. All rights reserved.