choco.kernel.solver.constraints.real
Class AbstractRealSConstraint
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<RealVar>
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
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 |
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.
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.