choco.kernel.solver.constraints.set
Class AbstractTernSetSConstraint

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.AbstractTernSetSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<SetVar>, SetPropagator, Cloneable, EventListener
Direct Known Subclasses:
SetIntersection, SetUnion

public abstract class AbstractTernSetSConstraint
extends AbstractSetSConstraint


Field Summary
 SetVar v0
          The variables of the constraint.
 SetVar v1
          The variables of the constraint.
 SetVar v2
          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 AbstractTernSetSConstraint(SetVar v0, SetVar v1, SetVar v2)
           
 
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.


v2

public final SetVar v2
The variables of the constraint.

Constructor Detail

AbstractTernSetSConstraint

protected AbstractTernSetSConstraint(SetVar v0,
                                     SetVar v1,
                                     SetVar v2)


Copyright © 2012. All Rights Reserved.