org.chocosolver.solver.constraints.nary.alldifferent.conditions

Class PropCondAllDiffInst

java.lang.Object

org.chocosolver.solver.constraints.Propagator<IntVar>

org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst

org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiffInst

All Implemented Interfaces:

Serializable, Comparable<Propagator>, ICause, Identity

public class PropCondAllDiffInst
extends PropAllDiffInst

Propagator for ConditionnalAllDifferent that only reacts on instantiation

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected Condition	condition

Fields inherited from class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst

n, toCheck

Fields inherited from class org.chocosolver.solver.constraints.Propagator

aCause, ACTIVE, constraint, LOGGER, NEW, PASSIVE, priority, reactToFineEvt, REIFIED, solver, vars

Constructor Summary

Constructors

Constructor and Description
PropCondAllDiffInst(IntVar[] variables, Condition c) ConditionnalAllDifferent constraint for integer variables enables to control the cardinality of the matching

Method Summary

Methods

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.
String	toString()

Methods inherited from class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst

duplicate, getPropagationConditions, propagate, propagate, why

Methods inherited from class org.chocosolver.solver.constraints.Propagator

addVariable, advise, arity, compareTo, contradiction, decNbPendingEvt, defineIn, dynPriority, flushPendingEvt, forcePropagate, getConstraint, getId, getNbPendingEvt, getNbVars, getPriority, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, reactToFineEvent, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

condition

protected Condition condition

Constructor Detail

PropCondAllDiffInst

public PropCondAllDiffInst(IntVar[] variables,
                   Condition c)

ConditionnalAllDifferent constraint for integer variables enables to control the cardinality of the matching

Parameters:

variables - array of integer variables

c - a condition to define the subset of variables subject to the AllDiff cstr

Method Detail

toString

public String toString()

Overrides:

toString in class Propagator<IntVar>

fixpoint

protected void fixpoint()
                 throws ContradictionException

Overrides:

fixpoint in class PropAllDiffInst

Throws:

ContradictionException

isEntailed

public ESat isEntailed()

Description copied from class: Propagator

Check wether this is entailed according to the current state of its internal structure. At least, should check the satisfaction of this (when all is instantiated).

Overrides:

isEntailed in class PropAllDiffInst

Returns:

ESat.TRUE if entailed, ESat.FALSE if not entailed, ESat.UNDEFINED if unknown