choco.integer.constraints.extension
Class AC2001BinConstraint

java.lang.Object
  choco.AbstractEntity
      choco.AbstractConstraint
          choco.integer.constraints.AbstractIntConstraint
              choco.integer.constraints.AbstractBinIntConstraint
                  choco.integer.constraints.extension.CspBinConstraint
                      choco.integer.constraints.extension.AC2001BinConstraint

All Implemented Interfaces:

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

public class AC2001BinConstraint
extends CspBinConstraint

Field Summary

protected StoredInt[]	currentSupport0
protected StoredInt[]	currentSupport1
protected int	offset0
protected int	offset1

Fields inherited from class choco.integer.constraints.extension.CspBinConstraint

relation

Fields inherited from class choco.integer.constraints.AbstractBinIntConstraint

cIdx0, cIdx1, v0, v1

Fields inherited from class choco.integer.constraints.AbstractIntConstraint

logger

Fields inherited from class choco.AbstractConstraint

active, constAwakeEvent, hook, priority

Fields inherited from class choco.AbstractEntity

problem

Constructor Summary

AC2001BinConstraint(IntDomainVar x0, IntDomainVar x1, BinRelation relation)

Method Summary

void	awake() Default initial propagation: full constraint re-propagation.
void	awakeOnBounds(int varIndex)
void	awakeOnInf(int idx) Default propagation on improved lower bound: propagation on domain revision.
void	awakeOnInst(int idx) Default propagation on instantiation: full constraint re-propagation.
void	awakeOnRem(int idx, int x) Default propagation on one value removal: propagation on domain revision.
void	awakeOnRemovals(int idx, IntIterator deltaDomain) The default implementation of propagation when a variable has been modified consists in iterating all values that have been removed (the delta domain) and propagate them one after another, incrementally.
void	awakeOnSup(int idx) Default propagation on improved upper bound: propagation on domain revision.
java.lang.Object	clone() returns a copy of the constraint.
void	propagate() Propagates on the constraint awake events.
void	reviseV0()
void	reviseV1()
protected void	updateSupportVal0(int x)
protected void	updateSupportVal1(int y)

Methods inherited from class choco.integer.constraints.extension.CspBinConstraint

awakeOnVar, getRelation, isEntailed, isSatisfied

Methods inherited from class choco.integer.constraints.AbstractBinIntConstraint

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

Methods inherited from class choco.integer.constraints.AbstractIntConstraint

getSelfIndex, isConsistent

Methods inherited from class choco.AbstractConstraint

addListener, 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

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

Field Detail

currentSupport0

protected StoredInt[] currentSupport0

currentSupport1

protected StoredInt[] currentSupport1

offset0

protected int offset0

offset1

protected int offset1

Constructor Detail

AC2001BinConstraint

public AC2001BinConstraint(IntDomainVar x0,
                           IntDomainVar x1,
                           BinRelation relation)

Method Detail

clone

public java.lang.Object clone()

Description copied from interface: Constraint

returns a copy of the constraint. This copy is a new object, may be a recursive copy in case of composite constraints. The original and the copy share the same variables & plugins

Specified by:

clone in interface Constraint

Overrides:

clone in class AbstractConstraint

Returns:

reviseV1

public void reviseV1()
              throws ContradictionException

Throws:

ContradictionException

reviseV0

public void reviseV0()
              throws ContradictionException

Throws:

ContradictionException

updateSupportVal0

protected void updateSupportVal0(int x)
                          throws ContradictionException

Throws:

ContradictionException

updateSupportVal1

protected void updateSupportVal1(int y)
                          throws ContradictionException

Throws:

ContradictionException

awake

public void awake()
           throws ContradictionException

Description copied from class: AbstractConstraint

Default initial propagation: full constraint re-propagation.

Specified by:

awake in interface Propagator

Overrides:

awake in class AbstractConstraint

Throws:

ContradictionException

propagate

public void propagate()
               throws ContradictionException

Description copied from class: AbstractBinIntConstraint

Propagates on the constraint awake events.

Specified by:

propagate in interface Propagator

Overrides:

propagate in class AbstractBinIntConstraint

Throws:

ContradictionException

awakeOnRemovals

public void awakeOnRemovals(int idx,
                            IntIterator deltaDomain)
                     throws ContradictionException

Description copied from class: AbstractIntConstraint

The default implementation of propagation when a variable has been modified consists in iterating all values that have been removed (the delta domain) and propagate them one after another, incrementally.

Specified by:

awakeOnRemovals in interface IntConstraint

Overrides:

awakeOnRemovals in class AbstractIntConstraint

Throws:

ContradictionException

awakeOnInf

public void awakeOnInf(int idx)
                throws ContradictionException

Description copied from class: AbstractIntConstraint

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

Specified by:

awakeOnInf in interface IntVarEventListener

Overrides:

awakeOnInf in class AbstractIntConstraint

Throws:

ContradictionException

awakeOnSup

public void awakeOnSup(int idx)
                throws ContradictionException

Description copied from class: AbstractIntConstraint

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

Specified by:

awakeOnSup in interface IntVarEventListener

Overrides:

awakeOnSup in class AbstractIntConstraint

Throws:

ContradictionException

awakeOnRem

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

Description copied from class: AbstractIntConstraint

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

Specified by:

awakeOnRem in interface IntVarEventListener

Overrides:

awakeOnRem in class AbstractIntConstraint

Throws:

ContradictionException

awakeOnBounds

public void awakeOnBounds(int varIndex)
                   throws ContradictionException

Specified by:

awakeOnBounds in interface IntConstraint

Overrides:

awakeOnBounds in class AbstractIntConstraint

Throws:

ContradictionException

awakeOnInst

public void awakeOnInst(int idx)
                 throws ContradictionException

Description copied from class: AbstractIntConstraint

Default propagation on instantiation: full constraint re-propagation.

Specified by:

awakeOnInst in interface IntVarEventListener

Overrides:

awakeOnInst in class AbstractIntConstraint

Throws:

ContradictionException