choco.kernel.solver.constraints.integer
Class AbstractBinIntSConstraint
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
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.
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 |
v0
public final IntDomainVar v0
- Variables of the constraint.
v1
public final IntDomainVar v1
- Variables of the constraint.
AbstractBinIntSConstraint
public AbstractBinIntSConstraint(IntDomainVar x0,
IntDomainVar x1)
Copyright © 2012. All Rights Reserved.