choco.kernel.solver.constraints.integer
Class AbstractBinIntSConstraint

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.AbstractBinIntSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
Direct Known Subclasses:
Absolute, BinAnd, BinNand, BinNor, BinOr, BinXnor, BinXor, BooleanChanneling, CspBinSConstraint, DistanceXYC, Element, ElementG, EqualXY_C, EqualXYC, GreaterOrEqualXY_C, GreaterOrEqualXYC, LessOrEqualXY_C, ModuloXYC2, NotEqualXY_C, NotEqualXYC, SignOp, SimpleChannelling, SimpleDTConstraint

public abstract class AbstractBinIntSConstraint
extends AbstractIntSConstraint

An abstract class for all implementations of (binary) constraints over two search variable.


Field Summary
 IntDomainVar v0
          Variables of the constraint.
 IntDomainVar v1
          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
AbstractBinIntSConstraint(IntDomainVar x0, IntDomainVar x1)
           
 
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

public final IntDomainVar v0
Variables of the constraint.


v1

public final IntDomainVar v1
Variables of the constraint.

Constructor Detail

AbstractBinIntSConstraint

public AbstractBinIntSConstraint(IntDomainVar x0,
                                 IntDomainVar x1)


Copyright © 2012. All Rights Reserved.