choco.kernel.solver.constraints.integer
Class AbstractUnIntSConstraint
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.AbstractLargeIntSConstraint
choco.kernel.solver.constraints.integer.AbstractUnIntSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- EqualXC, GreaterOrEqualXC, Identity, LessOrEqualXC, MemberBound, MemberEnum, Not, NotEqualXC, NotMemberBound, NotMemberEnum
public abstract class AbstractUnIntSConstraint
- extends AbstractLargeIntSConstraint
An abstract class for all implementations of (unary) listeners over
one search variable.
Field Summary |
protected IntDomainVar |
v0
The unique variable of the constraint. |
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
- The unique variable of the constraint.
AbstractUnIntSConstraint
protected AbstractUnIntSConstraint(IntDomainVar v0)
Copyright © 2012. All Rights Reserved.