Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
class INTEGER_INTERVAL Ancestors INDEXABLE* [G, H -> INTEGER_32] RESIZABLE* [G] SET* [G] Descendants ACTIVE_INTEGER_INTERVAL Clients ACTIVE_INTEGER_INTERVAL ARRAYED_QUEUE [G] FUN [G -> attached ANY, H -> attached ANY] HEAP_PRIORITY_QUEUE [G -> COMPARABLE] INTEGER_16_REF INTEGER_32_REF INTEGER_8_REF INTEGER_INTERVAL NATURAL_16_REF NATURAL_8_REF READABLE_INDEXABLE* [G] REFLECTOR SEQ [G -> attached ANY] SET [G -> attached ANY] TUPLE Suppliers ARRAY [G] BOOLEAN FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] INTEGER_32 INTEGER_INTERVAL PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com