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