Tinterval Struct Reference

Detailed Description

Defines a fragment of the Real line bounded by a lower and an upper limit.
Unbounded intervals are not implemented: they are not necessary for our current range of application since variables are always bounded. Might be necessary for other applications in the future, though.
The size of an interval is the upper limit minus the lower limit.
If the upper limit is lower than the lower limit (i.e., if the interval size is negative), the interval is said to be empty.

See Also

interval.h interval.c

Definition at line 33 of file interval.h.

Data Fields
double	lower_limit
double	upper_limit

Field Documentation

double Tinterval::lower_limit

Lower limit for the interval

Definition at line 35 of file interval.h.

Referenced by CmpIntervals(), CopyInterval(), DistanceToInterval(), EmptyInterval(), EnlargeInterval(), ExpandInterval(), Intersection(), IntervalAdd(), IntervalAtan2(), IntervalCenter(), IntervalCosine(), IntervalDivision(), IntervalExp(), IntervalInclusion(), IntervalInvert(), IntervalOffset(), IntervalPow(), IntervalProduct(), IntervalScale(), IntervalSecant2Tangent(), IntervalSine(), IntervalSize(), IntervalSqrt(), IntervalSubstract(), IntervalTangent(), IsInside(), LowerLimit(), NewInterval(), PointInInterval(), PrintInterval(), PrintSymbolInterval(), SetLowerLimit(), Union(), UpdateLowerLimit(), and ZeroInterval().

double Tinterval::upper_limit

Upper limit for the interval

Definition at line 36 of file interval.h.

Referenced by CmpIntervals(), CopyInterval(), DistanceToInterval(), EmptyInterval(), EnlargeInterval(), ExpandInterval(), Intersection(), IntervalAdd(), IntervalAtan2(), IntervalCenter(), IntervalCosine(), IntervalDivision(), IntervalExp(), IntervalInclusion(), IntervalInvert(), IntervalOffset(), IntervalPow(), IntervalProduct(), IntervalScale(), IntervalSecant2Tangent(), IntervalSine(), IntervalSize(), IntervalSqrt(), IntervalSubstract(), IntervalTangent(), IsInside(), NewInterval(), PointInInterval(), PrintInterval(), PrintSymbolInterval(), SetUpperLimit(), Union(), UpdateUpperLimit(), UpperLimit(), and ZeroInterval().