choco.kernel.solver.constraints.set
Class AbstractLargeSetIntSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<Var>
          extended by choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint
              extended by 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.
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Constructor Summary
AbstractLargeSetIntSConstraint(IntDomainVar[] intvars, SetVar[] setvars)
           
 
Method Summary
protected  int getIntVarIndex(int i)
           
 int getNbIntVars()
           
 int getNbSetVars()
           
 boolean isIntVarIndex(int i)
           
 boolean isSetVarIndex(int i)
           
 
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
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface choco.kernel.solver.constraints.SConstraint
isSatisfied
 

Field Detail

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.

Constructor Detail

AbstractLargeSetIntSConstraint

public AbstractLargeSetIntSConstraint(IntDomainVar[] intvars,
                                      SetVar[] setvars)
Method Detail

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.