class SET [G -> attached ANY] General cluster: mathmodels description: "SET data structure for both specification and implementation." create: make_empty, make_from_array, make_one Ancestors DEBUG_OUTPUT* ITERABLE* [G] Queries as_array: ARRAY [G] chosen: BOOLEAN comprehension alias "|" (exp: PREDICATE [G]): [like Current] SET [G] count alias "#": INTEGER_32 debug_output: STRING_8 differenced alias "|\" (other: [like Current] SET [G]): [like Current] SET [G] extended alias "+" (g: G): [like Current] SET [G] has (g: G): BOOLEAN hold_count (exp: PREDICATE [G]): INTEGER_32 intersected alias "|/\|" (other: [like Current] SET [G]): [like Current] SET [G] is_empty: BOOLEAN is_equal (other: [like Current] SET [G]): BOOLEAN is_subset_of alias "|<:" (other: [like Current] SET [G]): BOOLEAN item: G new_cursor: ITERATION_CURSOR [G] out: STRING_8 subtracted alias "-" (g: G): [like Current] SET [G] unioned alias "|\/|" (other: [like Current] SET [G]): [like Current] SET [G] Commands choose_item difference (other: [like Current] SET [G]) extend (g: G) intersect (other: [like Current] SET [G]) make_empty make_from_array (a: ARRAY [G]) make_one (a_singleton: G) remove_item subtract (g: G) union (other: [like Current] SET [G]) Constraints no duplicates
Generated by ISE EiffelStudio