Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class TIME_SET General cluster: time description: "Sets of compactly coded times" create: make Ancestors ARRAY [G] Queries additional_space: INTEGER_32 all_default: BOOLEAN area: SPECIAL [detachable NUMERIC] at alias "@" (i: INTEGER_32): detachable NUMERIC capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN count: INTEGER_32 entry (i: INTEGER_32): detachable NUMERIC extendible: BOOLEAN filled_with (v: detachable NUMERIC): BOOLEAN for_all (test: FUNCTION [detachable NUMERIC, BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has (v: detachable NUMERIC): BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] TIME_SET): BOOLEAN is_inserted (v: detachable NUMERIC): BOOLEAN item (i: INTEGER_32): TIME item_array (i: INTEGER_32): detachable NUMERIC last: INTEGER_32 linear_representation: LINEAR [detachable NUMERIC] lower: INTEGER_32 Minimal_increase: INTEGER_32 new_cursor: ARRAY_ITERATION_CURSOR [detachable NUMERIC] object_comparison: BOOLEAN occurrences (v: detachable NUMERIC): INTEGER_32 prunable: BOOLEAN resizable: BOOLEAN same_items (other: [like Current] TIME_SET): BOOLEAN subarray (start_pos, end_pos: INTEGER_32): ARRAY [detachable NUMERIC] there_exists (test: FUNCTION [detachable NUMERIC, BOOLEAN]): BOOLEAN to_c: ANY to_cil: NATIVE_ARRAY [detachable NUMERIC] to_special: SPECIAL [detachable NUMERIC] upper: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN Commands automatic_grow bag_put (v: detachable NUMERIC) clear_all compare_objects compare_references conservative_resize_with_default (a_default_value: detachable NUMERIC; min_index, max_index: INTEGER_32) copy (other: [like Current] TIME_SET) discard_items do_all (action: PROCEDURE [detachable NUMERIC]) do_all_with_index (action: PROCEDURE [detachable NUMERIC, INTEGER_32]) do_if (action: PROCEDURE [detachable NUMERIC]; test: FUNCTION [detachable NUMERIC, BOOLEAN]) do_if_with_index (action: PROCEDURE [detachable NUMERIC, INTEGER_32]; test: FUNCTION [detachable NUMERIC, INTEGER_32, BOOLEAN]) enter (v: [like item_array] detachable NUMERIC; i: INTEGER_32) extend (v: detachable NUMERIC) fill (other: CONTAINER [detachable NUMERIC]) fill_with (v: detachable NUMERIC) force (v: [like item_array] detachable NUMERIC; i: INTEGER_32) force_and_fill (v: [like item_array] detachable NUMERIC; i: INTEGER_32) grow (i: INTEGER_32) keep_head (n: INTEGER_32) keep_tail (n: INTEGER_32) make (n: INTEGER_32) make_empty make_filled (a_default_value: detachable NUMERIC; min_index, max_index: INTEGER_32) make_from_array (a: ARRAY [detachable NUMERIC]) make_from_cil (na: NATIVE_ARRAY [[like item_array] detachable NUMERIC]) make_from_special (a: SPECIAL [detachable NUMERIC]) prune (v: detachable NUMERIC) prune_all (v: detachable NUMERIC) put (t: TIME) put_array (v: [like item_array] detachable NUMERIC; i: INTEGER_32) rebase (a_lower: [like lower] INTEGER_32) remove_head (n: INTEGER_32) remove_tail (n: INTEGER_32) subcopy (other: ARRAY [[like item_array] detachable NUMERIC]; start_pos, end_pos, index_pos: INTEGER_32) trim Constraints last non negative last small enough
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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