public class PropCompactTableStar extends PropCompactTable
PropCompactTable.RSparseBitSet
currTable, monitors, offset, onValRem, residues, supports, tuples
constraint, model, priority, reactToFineEvt, 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, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, fails, forcePropagate, forcePropagationOnBacktrack, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getPropagationConditions, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, linkVariables, reactToFineEvent, setActive, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables, unschedule, why
protected UnaryIntProcedure<Integer> makeProcedure()
makeProcedure
in class PropCompactTable
protected void computeSupports(Tuples tuples)
computeSupports
in class PropCompactTable
Copyright © 2018. All rights reserved.