Hibounded real interval Application Object

A Hibounded_real_interval is a Real_interval that has an upper bound.

EXPRESS specification:

*)
ENTITY Hibounded_real_interval
   SUBTYPE OF (Real_interval);
   hibnd : REAL;
   hiclosure :  BOOLEAN;
END_ENTITY;
(*

Attributes:

hibnd: The upper bound for the interval.

hiclosure: Closure indicator that is as follows:

true

The interval includes reals less than or equal to hibnd, i.e. the interval is closed above.

false

The interval includes reals less than hibnd, i.e. the interval is open above.