Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class READABLE_INDEXABLE [G] General cluster: elks description: "Tables whose keys are integers in a contiguous interval" Ancestors ITERABLE* [G] Queries item alias "[]" (i: INTEGER_32): G lower: INTEGER_32 new_cursor: INDEXABLE_ITERATION_CURSOR [G] upper: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN Constraints consistent boundaries
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org