choco.kernel.solver.constraints.set
Class AbstractBinSetSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<SetVar>
          extended by choco.kernel.solver.constraints.set.AbstractSetSConstraint
              extended by choco.kernel.solver.constraints.set.AbstractLargeSetSConstraint
                  extended by 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.
 
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
protected AbstractBinSetSConstraint(SetVar v0, SetVar v1)
           
 
Method Summary
 
Methods inherited from class choco.kernel.solver.constraints.set.AbstractSetSConstraint
awakeOnEnv, awakeOnEnvRemovals, awakeOnInst, awakeOnKer, awakeOnkerAdditions, getConstraintType
 
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
 
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 final SetVar v0
The variables of the constraint.


v1

public final SetVar v1
The variables of the constraint.

Constructor Detail

AbstractBinSetSConstraint

protected AbstractBinSetSConstraint(SetVar v0,
                                    SetVar v1)


Copyright © 2012. All Rights Reserved.