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.
Follow us!