choco.kernel.solver.constraints.set
Class AbstractBinSetIntSConstraint
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<Var>
choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint
choco.kernel.solver.constraints.set.AbstractBinSetIntSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<Var>, IntPropagator, SetPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- MemberXY, NotMemberXY, SetCard
public abstract class AbstractBinSetIntSConstraint
- extends AbstractMixedSetIntSConstraint
Field Summary |
IntDomainVar |
v0
The first variable of the constraint. |
SetVar |
v1
The second variable of the constraint. |
Methods inherited from class choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint |
awakeOnBounds, awakeOnEnv, awakeOnEnvRemovals, awakeOnInf, awakeOnInst, awakeOnKer, awakeOnkerAdditions, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, 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 |
v0
public IntDomainVar v0
- The first variable of the constraint.
v1
public SetVar v1
- The second variable of the constraint.
AbstractBinSetIntSConstraint
public AbstractBinSetIntSConstraint(IntDomainVar v0,
SetVar v1)
- default constructor
- Parameters:
X
- the integer variableS
- the set variable
getIntVar
public IntDomainVar getIntVar(int i)
- Gets the
i
th search valued variable.
getSetVar
public SetVar getSetVar(int i)
- Gets the
i
th search valued variable.
Copyright © 2012. All Rights Reserved.