choco.kernel.solver.constraints.integer
Class AbstractTernIntSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
          extended by choco.kernel.solver.constraints.integer.AbstractIntSConstraint
              extended by choco.kernel.solver.constraints.integer.AbstractTernIntSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
Direct Known Subclasses:
BoolTimesXYZ, DistanceXYZ, Element2D, EuclideanDivisionXYZ, MaxXYZ, MinXYZ, ReifiedBinImplication, ReifiedBinXnor, ReifiedBinXor, TimesXYZ

public abstract class AbstractTernIntSConstraint
extends AbstractIntSConstraint

An abstract class for all implementations of (unary) listeners over one search variable.


Field Summary
protected  IntDomainVar v0
          Variables of the constraint.
protected  IntDomainVar v1
          Variables of the constraint.
protected  IntDomainVar v2
          Variables of the constraint.
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Constructor Summary
AbstractTernIntSConstraint(IntDomainVar x0, IntDomainVar x1, IntDomainVar x2)
          Builds a ternary constraint with the specified variables.
 
Method Summary
 
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied, isSatisfied
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString
 
Methods inherited from class choco.kernel.solver.propagation.Propagator
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

v0

protected final IntDomainVar v0
Variables of the constraint.


v1

protected final IntDomainVar v1
Variables of the constraint.


v2

protected final IntDomainVar v2
Variables of the constraint.

Constructor Detail

AbstractTernIntSConstraint

public AbstractTernIntSConstraint(IntDomainVar x0,
                                  IntDomainVar x1,
                                  IntDomainVar x2)
Builds a ternary constraint with the specified variables.

Parameters:
x0 - the first variable
x1 - the second variable
x2 - the third variable


Copyright © 2012. All Rights Reserved.