-
- All Known Subinterfaces:
CArExpression
,RealVar
- All Known Implementing Classes:
BiCArExpression
,FixedRealVarImpl
,RealIntervalConstant
,RealVarImpl
,RealView
,UnCArExpression
public interface RealInterval
- Since:
- 23/01/2020
- Author:
- Charles Prud'homme
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description double
getLB()
Retrieves the lower bound of the variabledouble
getUB()
Retrieves the upper bound of the variablevoid
intersect(double l, double u, ICause cause)
Modifies the bounds for intersecting with the specified interval.default void
intersect(RealInterval interval, ICause cause)
Modifies the bounds for intersecting with the specified interval.
-
-
-
Method Detail
-
getLB
double getLB()
Retrieves the lower bound of the variable- Returns:
- the lower bound
-
getUB
double getUB()
Retrieves the upper bound of the variable- Returns:
- the upper bound
-
intersect
default void intersect(RealInterval interval, ICause cause) throws ContradictionException
Modifies the bounds for intersecting with the specified interval.- Parameters:
interval
- an intervalcause
- who launches the intersection- Throws:
ContradictionException
- if a failure occurs
-
intersect
void intersect(double l, double u, ICause cause) throws ContradictionException
Modifies the bounds for intersecting with the specified interval.- Parameters:
l
- lower boundu
- upper boundcause
- who launches the intersection- Throws:
ContradictionException
- if a failure occurs
-
-