choco.kernel.solver.constraints.set
Class AbstractLargeSetIntSConstraint
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.AbstractLargeSetIntSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<Var>, IntPropagator, SetPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- AbstractBoundOfASet, InverseSetInt, MemberXiY, PackSConstraint
public abstract class AbstractLargeSetIntSConstraint
- extends AbstractMixedSetIntSConstraint
A class to represent a large constraint including both set and int variables in
its scope.
Field Summary |
IntDomainVar[] |
ivars
The int variables representing the rest scope of the constraint. |
SetVar[] |
svars
The set variables representing the first part of the scope 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 |
svars
public SetVar[] svars
- The set variables representing the first part of the scope of the constraint.
ivars
public IntDomainVar[] ivars
- The int variables representing the rest scope of the constraint.
AbstractLargeSetIntSConstraint
public AbstractLargeSetIntSConstraint(IntDomainVar[] intvars,
SetVar[] setvars)
getNbSetVars
public final int getNbSetVars()
getNbIntVars
public final int getNbIntVars()
getIntVarIndex
protected int getIntVarIndex(int i)
- Returns:
- the relative index of an integer variable
isSetVarIndex
public final boolean isSetVarIndex(int i)
isIntVarIndex
public final boolean isIntVarIndex(int i)
Copyright © 2012. All Rights Reserved.