choco.set.constraint
Class NotMemberXY

java.lang.Object
  choco.AbstractEntity
      choco.AbstractConstraint
          choco.set.constraint.AbstractMixedConstraint
              choco.set.constraint.AbstractBinSetIntConstraint
                  choco.set.constraint.NotMemberXY

All Implemented Interfaces:

Constraint, Entity, IntConstraint, IntVarEventListener, VarEventListener, Propagator, SetConstraint, SetVarEventListener, java.lang.Cloneable, java.util.EventListener

public class NotMemberXY
extends AbstractBinSetIntConstraint

Ensure that an int variable does not belong to a set variable

Field Summary

Fields inherited from class choco.set.constraint.AbstractBinSetIntConstraint

cIdx0, cIdx1, v0, v1

Fields inherited from class choco.AbstractConstraint

active, constAwakeEvent, hook, priority

Fields inherited from class choco.AbstractEntity

problem

Constructor Summary

NotMemberXY(SetVar set, IntDomainVar iv)

Method Summary

void	awakeOnEnv(int varIdx, int x) Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.
void	awakeOnInf(int idx) Default propagation on improved lower bound: propagation on domain revision.
void	awakeOnInst(int varIdx) Default propagation on instantiation: full constraint re-propagation.
void	awakeOnKer(int varIdx, int x) Default propagation on kernel modification: propagation on adding a value to the kernel.
void	awakeOnRem(int idx, int x) Default propagation on one value removal: propagation on domain revision.
void	awakeOnSup(int idx) Default propagation on improved upper bound: propagation on domain revision.
void	filter() if only one value out of the kernel, then this value can be removed from the enveloppe
boolean	isConsistent() tests if the constraint is consistent with respect to the current state of domains
java.lang.Boolean	isEntailed() Checks whether the constraint is definitely satisfied, no matter what further restrictions occur to the domain of its variables.
boolean	isSatisfied() Semantic: Testing if the constraint is satisfied.
void	propagate() Propagation: Propagating the constraint until local consistency is reached.

Methods inherited from class choco.set.constraint.AbstractBinSetIntConstraint

assignIndices, getConstraintIdx, getIntVar, getNbVars, getSetVar, getVar, isCompletelyInstantiated, setConstraintIndex, setVar

Methods inherited from class choco.set.constraint.AbstractMixedConstraint

awakeOnBounds, awakeOnEnvRemovals, awakeOnkerAdditions, awakeOnRemovals, getSelfIndex

Methods inherited from class choco.AbstractConstraint

addListener, awake, awakeOnVar, clone, connectVar, constAwake, delete, fail, getEvent, getPlugIn, getPriority, getProblem, getVarIdxInOpposite, isActive, isEquivalentTo, opposite, setActive, setEntailed, setPassive, setPlugIn, substituteVar

Methods inherited from class choco.AbstractEntity

pretty

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface choco.Propagator

awake, awakeOnVar, constAwake, delete, getEvent, getPlugIn, getPriority

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.Propagator

awake, awakeOnVar, constAwake, delete, getEvent, getPlugIn, getPriority

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Constructor Detail

NotMemberXY

public NotMemberXY(SetVar set,
                   IntDomainVar iv)

Method Detail

filter

public void filter()
            throws ContradictionException

if only one value out of the kernel, then this value can be removed from the enveloppe

Throws:

ContradictionException

awakeOnInf

public void awakeOnInf(int idx)
                throws ContradictionException

Description copied from class: AbstractMixedConstraint

Default propagation on improved lower bound: propagation on domain revision.

Specified by:

awakeOnInf in interface IntVarEventListener

Overrides:

awakeOnInf in class AbstractMixedConstraint

Throws:

ContradictionException

awakeOnSup

public void awakeOnSup(int idx)
                throws ContradictionException

Description copied from class: AbstractMixedConstraint

Default propagation on improved upper bound: propagation on domain revision.

Specified by:

awakeOnSup in interface IntVarEventListener

Overrides:

awakeOnSup in class AbstractMixedConstraint

Throws:

ContradictionException

awakeOnRem

public void awakeOnRem(int idx,
                       int x)
                throws ContradictionException

Description copied from class: AbstractMixedConstraint

Default propagation on one value removal: propagation on domain revision.

Specified by:

awakeOnRem in interface IntVarEventListener

Overrides:

awakeOnRem in class AbstractMixedConstraint

Throws:

ContradictionException

awakeOnKer

public void awakeOnKer(int varIdx,
                       int x)
                throws ContradictionException

Description copied from interface: SetVarEventListener

Default propagation on kernel modification: propagation on adding a value to the kernel.

Specified by:

awakeOnKer in interface SetVarEventListener

Overrides:

awakeOnKer in class AbstractMixedConstraint

Throws:

ContradictionException

awakeOnEnv

public void awakeOnEnv(int varIdx,
                       int x)
                throws ContradictionException

Description copied from interface: SetVarEventListener

Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.

Specified by:

awakeOnEnv in interface SetVarEventListener

Overrides:

awakeOnEnv in class AbstractMixedConstraint

Throws:

ContradictionException

awakeOnInst

public void awakeOnInst(int varIdx)
                 throws ContradictionException

Description copied from interface: IntVarEventListener

Default propagation on instantiation: full constraint re-propagation.

Specified by:

awakeOnInst in interface IntVarEventListener

Specified by:

awakeOnInst in interface SetVarEventListener

Overrides:

awakeOnInst in class AbstractMixedConstraint

Throws:

ContradictionException

propagate

public void propagate()
               throws ContradictionException

Description copied from interface: Propagator

Propagation: Propagating the constraint until local consistency is reached.

Throws:

ContradictionException

isSatisfied

public boolean isSatisfied()

Description copied from interface: Constraint

Semantic: Testing if the constraint is satisfied. Note that all variables involved in the constraint must be instantiated when this method is called.

isConsistent

public boolean isConsistent()

Description copied from interface: Propagator

tests if the constraint is consistent with respect to the current state of domains

isEntailed

public java.lang.Boolean isEntailed()

Description copied from interface: Propagator

Checks whether the constraint is definitely satisfied, no matter what further restrictions occur to the domain of its variables.

Specified by:

isEntailed in interface Propagator

Overrides:

isEntailed in class AbstractConstraint