choco.kernel.solver.constraints.integer
Class AbstractTernIntSConstraint
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.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.
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
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.
AbstractTernIntSConstraint
public AbstractTernIntSConstraint(IntDomainVar x0,
IntDomainVar x1,
IntDomainVar x2)
- Builds a ternary constraint with the specified variables.
- Parameters:
x0
- the first variablex1
- the second variablex2
- the third variable
Copyright © 2012. All Rights Reserved.