Lobounded real interval Application Object

A Lobounded_real_interval is a Real_interval that has a lower bound.

EXPRESS specification:

*)
ENTITY Lobounded_real_interval
   SUBTYPE OF (Real_interval);
   lobnd : REAL;
   loclosure :  BOOLEAN;
END_ENTITY;
(*

Attributes:

lobnd: The lower bound for the interval.

loclosure: Closure indicator that is as follows:

true

The interval includes reals greater than or equal to lobnd, i.e. the interval is closed below.

false

The interval includes reals greater than lobnd, i.e. the interval is open below.