choco.kernel.solver.constraints.set
Class AbstractBinSetIntSConstraint

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.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.
 
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
AbstractBinSetIntSConstraint(IntDomainVar v0, SetVar v1)
          default constructor
 
Method Summary
 IntDomainVar getIntVar(int i)
          Gets the ith search valued variable.
 SetVar getSetVar(int i)
          Gets the ith search valued variable.
 
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

v0

public IntDomainVar v0
The first variable of the constraint.


v1

public SetVar v1
The second variable of the constraint.

Constructor Detail

AbstractBinSetIntSConstraint

public AbstractBinSetIntSConstraint(IntDomainVar v0,
                                    SetVar v1)
default constructor

Parameters:
X - the integer variable
S - the set variable
Method Detail

getIntVar

public IntDomainVar getIntVar(int i)
Gets the ith search valued variable.


getSetVar

public SetVar getSetVar(int i)
Gets the ith search valued variable.



Copyright © 2012. All Rights Reserved.