choco.kernel.solver.constraints.real
Class AbstractUnRealSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<RealVar>
          extended by choco.kernel.solver.constraints.real.AbstractRealSConstraint
              extended by choco.kernel.solver.constraints.real.AbstractLargeRealSConstraint
                  extended by choco.kernel.solver.constraints.real.AbstractUnRealSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<RealVar>, RealPropagator, Cloneable, EventListener

public abstract class AbstractUnRealSConstraint
extends AbstractLargeRealSConstraint


Field Summary
protected  RealVar v0
          The unique 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
protected AbstractUnRealSConstraint(RealVar v0)
          Constraucts a constraint with the priority 0.
 
Method Summary
 
Methods inherited from class choco.kernel.solver.constraints.real.AbstractLargeRealSConstraint
clone
 
Methods inherited from class choco.kernel.solver.constraints.real.AbstractRealSConstraint
awakeOnInf, awakeOnSup, getConstraintType
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, 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

protected RealVar v0
The unique variable of the constraint.

Constructor Detail

AbstractUnRealSConstraint

protected AbstractUnRealSConstraint(RealVar v0)
Constraucts a constraint with the priority 0.



Copyright © 2012. All Rights Reserved.