Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class FIXED_INTEGER_SET General cluster: lex description: "Sets of integers with a finite number of items" create: make, boolean_set_make Ancestors BOOL_STRING Queries at alias "@" (i: INTEGER_32): BOOLEAN conjuncted alias "and" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET count: INTEGER_32 disjuncted alias "or" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET disjuncted_exclusive alias "xor" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET has (i: INTEGER_32): BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] FIXED_INTEGER_SET): BOOLEAN item alias "[]" (i: INTEGER_32): BOOLEAN largest: INTEGER_32 left_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET negated alias "not": [like Current] FIXED_INTEGER_SET next (p: INTEGER_32): INTEGER_32 right_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET smallest: INTEGER_32 to_c: ANY valid_index (i: INTEGER_32): BOOLEAN Commands all_false all_true bool_string_put (v: [like item] BOOLEAN; i: INTEGER_32) boolean_set_make (n: INTEGER_32) copy (other: [like Current] FIXED_INTEGER_SET) make (n: INTEGER_32) print put (i: INTEGER_32) remove (i: INTEGER_32) Constraints positive size
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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