choco.kernel.solver.constraints.real
Class AbstractLargeRealSConstraint

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
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<RealVar>, RealPropagator, Cloneable, EventListener
Direct Known Subclasses:
AbstractUnRealSConstraint, Equation

public abstract class AbstractLargeRealSConstraint
extends AbstractRealSConstraint

A real constraint with an undetermined number of variables.


Field Summary
 
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
AbstractLargeRealSConstraint(RealVar[] vars)
          Builds such a constraint with the specified variables.
 
Method Summary
 Object clone()
          Makes a copy of this constraint.
 
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
 

Constructor Detail

AbstractLargeRealSConstraint

public AbstractLargeRealSConstraint(RealVar[] vars)
Builds such a constraint with the specified variables.

Parameters:
vars - the variables involved by this constraint
Method Detail

clone

public Object clone()
             throws CloneNotSupportedException
Makes a copy of this constraint.

Overrides:
clone in class AbstractSConstraint<RealVar>
Returns:
a copy of this constraint
Throws:
CloneNotSupportedException - thrown if this constraint cannot be cloned.


Copyright © 2012. All Rights Reserved.