choco.kernel.solver.constraints.real
Class AbstractRealSConstraint

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

public abstract class AbstractRealSConstraint
extends AbstractSConstraint<RealVar>
implements RealPropagator

User : cprudhom Mail : cprudhom(a)emn.fr Date : 15 f�vr. 2010 Since : Choco 2.1.1


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
protected AbstractRealSConstraint(int priority, RealVar[] vars)
          Constructs a constraint with the specified priority.
protected AbstractRealSConstraint(RealVar[] vars)
          Constraucts a constraint with the priority 0.
 
Method Summary
 void awakeOnInf(int idx)
          Default propagation on improved lower bound: propagation on domain revision.
 void awakeOnSup(int idx)
          Default propagation on improved upper bound: propagation on domain revision.
 SConstraintType getConstraintType()
          Return the type of constraint, ie the type of variable involved in the constraint
 
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
 

Constructor Detail

AbstractRealSConstraint

protected AbstractRealSConstraint(int priority,
                                  RealVar[] vars)
Constructs a constraint with the specified priority.

Parameters:
priority - The wished priority.

AbstractRealSConstraint

protected AbstractRealSConstraint(RealVar[] vars)
Constraucts a constraint with the priority 0.

Method Detail

awakeOnInf

public void awakeOnInf(int idx)
                throws ContradictionException
Default propagation on improved lower bound: propagation on domain revision.

Specified by:
awakeOnInf in interface RealPropagator
Throws:
ContradictionException

awakeOnSup

public void awakeOnSup(int idx)
                throws ContradictionException
Default propagation on improved upper bound: propagation on domain revision.

Specified by:
awakeOnSup in interface RealPropagator
Throws:
ContradictionException

getConstraintType

public SConstraintType getConstraintType()
Description copied from interface: SConstraint
Return the type of constraint, ie the type of variable involved in the constraint

Specified by:
getConstraintType in interface SConstraint<RealVar>
Returns:


Copyright © 2012. All Rights Reserved.