choco.kernel.solver.constraints.set
Class AbstractBinSetSConstraint
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<SetVar>
choco.kernel.solver.constraints.set.AbstractSetSConstraint
choco.kernel.solver.constraints.set.AbstractLargeSetSConstraint
choco.kernel.solver.constraints.set.AbstractBinSetSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<SetVar>, SetPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- ComplementSet, Disjoint, IsIncluded, IsNotIncluded, SetEq, SetLexicographicOrdering, SetNotEq
public abstract class AbstractBinSetSConstraint
- extends AbstractLargeSetSConstraint
Field Summary |
SetVar |
v0
The variables of the constraint. |
SetVar |
v1
The variables 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, isConsistent, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
v0
public final SetVar v0
- The variables of the constraint.
v1
public final SetVar v1
- The variables of the constraint.
AbstractBinSetSConstraint
protected AbstractBinSetSConstraint(SetVar v0,
SetVar v1)
Copyright © 2012. All Rights Reserved.