Class PropCompactTableStar
- java.lang.Object
-
- org.chocosolver.solver.constraints.Propagator<IntVar>
-
- org.chocosolver.solver.constraints.extension.nary.PropCompactTable
-
- org.chocosolver.solver.constraints.extension.nary.PropCompactTableStar
-
- All Implemented Interfaces:
Comparable<Propagator>
,ICause
,Identity
public class PropCompactTableStar extends PropCompactTable
Propagator for table constraint based on "Extending Compact-Table to Negative and Short Tables", H. Verhaeghe and C. Lecoutre and P. Schauss, AAAI-17. It deals with short tuples.- Since:
- 16/05/2017
- Author:
- Charles Prud'homme, Jean-Guillaume FAGES
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
PropCompactTable.RSparseBitSet
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
monitors, offset, supports, tuples
-
Fields inherited from class org.chocosolver.solver.constraints.Propagator
ACTIVE, constraint, DEFAULT_EXPL, model, operations, OUTPUT_DEFAULT_EXPL, priority, reactToFineEvt, state, vars
-
-
Constructor Summary
Constructors Constructor Description PropCompactTableStar(IntVar[] vars, Tuples tuples)
Create a propagator for table constraint Only for feasible Tuples
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
computeSupports(Tuples tuples)
protected UnaryIntProcedure<Integer>
makeProcedure()
-
Methods inherited from class org.chocosolver.solver.constraints.extension.nary.PropCompactTable
isEntailed, propagate, propagate
-
Methods inherited from class org.chocosolver.solver.constraints.Propagator
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
-
-
-
-
Method Detail
-
makeProcedure
protected UnaryIntProcedure<Integer> makeProcedure()
- Overrides:
makeProcedure
in classPropCompactTable
-
computeSupports
protected void computeSupports(Tuples tuples)
- Overrides:
computeSupports
in classPropCompactTable
-
-