Hibounded integer interval Application Object

A Hibounded_integer_interval is an Integer_interval that has an upper bound.

EXPRESS specification:

*)
ENTITY Hibounded_integer_interval
  SUBTYPE OF (Integer_interval);
  hibnd  : INTEGER;
END_ENTITY;
(*

Attributes:

hibnd: The largest integer in the interval.