choco.real
Interface RealInterval

All Known Subinterfaces:

PalmRealDomain, PalmRealInterval, PalmRealVar, RealDomain, RealExp, RealVar

All Known Implementing Classes:

AbstractPalmRealBinTerm, AbstractPalmRealUnTerm, AbstractRealBinTerm, AbstractRealCompoundTerm, AbstractRealUnTerm, PalmRealDomainImpl, PalmRealIntervalConstant, PalmRealMinus, PalmRealMult, PalmRealPlus, PalmRealVarImpl, RealCos, RealDomainImpl, RealIntegerPower, RealIntervalConstant, RealIntervalImpl, RealMinus, RealMult, RealPlus, RealSin, RealVarImpl

public interface RealInterval

An interface for real intervals.

Method Summary

double	getInf()
double	getSup()
void	intersect(RealInterval interval) Modifies the bounds for intersecting with the specified interval.
void	intersect(RealInterval interval, int index) Modifies the bounds for intersecting with the specified interval.

Method Detail

getInf

double getInf()

Returns:

the lower bound.

getSup

double getSup()

Returns:

the upper bound.

intersect

void intersect(RealInterval interval)
               throws ContradictionException

Modifies the bounds for intersecting with the specified interval.

Parameters:

interval -

Throws:

ContradictionException

intersect

void intersect(RealInterval interval,
               int index)
               throws ContradictionException

Modifies the bounds for intersecting with the specified interval.

Parameters:

interval -

index - of the constraint responsible to this withdraw

Throws:

ContradictionException