public class PropCondAllDiffInst extends PropAllDiffInst
PropAllDiffInst.FastResetArrayStack
n, toCheck
constraint, model, priority, reactToFineEvt, vars
Constructor and Description |
---|
PropCondAllDiffInst(IntVar[] variables,
Condition c,
boolean mode)
ConditionnalAllDifferent constraint for integer variables
enables to control the cardinality of the matching
IF mode
for all X in vars, condition(X) => X !
|
Modifier and Type | Method and Description |
---|---|
protected void |
fixpoint() |
ESat |
isEntailed()
Check wether
this is entailed according to the current state of its internal structure. |
getPropagationConditions, propagate, propagate, why
addVariable, arity, compareTo, dynPriority, equals, fails, forcePropagate, forcePropagationOnBacktrack, getConstraint, getId, getModel, getNbVars, getPriority, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, linkVariables, reactToFineEvent, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables
public PropCondAllDiffInst(IntVar[] variables, Condition c, boolean mode)
variables
- array of integer variablesc
- a condition to define the subset of variables subject to the AllDiff cstrmode
- defines how to apply filteringprotected void fixpoint() throws ContradictionException
fixpoint
in class PropAllDiffInst
ContradictionException
public ESat isEntailed()
Propagator
this
is entailed according to the current state of its internal structure.
At least, should check the satisfaction of this
(when all is instantiated).isEntailed
in class PropAllDiffInst
Copyright © 2017. All rights reserved.