class FUN [G -> attached ANY, H -> attached ANY] General cluster: mathmodels description: "Summary description for {FUN}." create: make_empty, make_from_array Ancestors DEBUG_OUTPUT* ITERABLE* [G] Queries as_array: ARRAY [PAIR [G, H]] as_set: SET [PAIR [G, H]] comprehension alias "|" (exp: PREDICATE [PAIR [G, H]]): [like Current] FUN [G, H] count alias "#": INTEGER_32 debug_output: STRING_8 differenced alias "|\" (other: [like Current] FUN [G, H]): [like Current] FUN [G, H] domain: SET [G] domain_restricted alias "|<" (ds: SET [G]): [like Current] FUN [G, H] domain_restricted_by alias "@<" (g: G): [like Current] FUN [G, H] domain_subtracted alias "|<<" (ds: SET [G]): [like Current] FUN [G, H] domain_subtracted_by alias "@<<" (g: G): [like Current] FUN [G, H] extended alias "+" (p: PAIR [G, H]): [like Current] FUN [G, H] has (p: PAIR [G, H]): BOOLEAN has_duplicates (a: ARRAY [TUPLE [G, H]]): BOOLEAN hold_count (exp: PREDICATE [PAIR [G, H]]): INTEGER_32 intersected alias "|/\|" (other: [like Current] FUN [G, H]): [like Current] FUN [G, H] inverse: FUN [H, G] is_empty: BOOLEAN is_equal (other: [like Current] FUN [G, H]): BOOLEAN is_function: BOOLEAN is_injection: BOOLEAN is_subset_of alias "|<:" (other: [like Current] FUN [G, H]): BOOLEAN item alias "[]" (g: G): H new_cursor: ITERATION_CURSOR [PAIR [G, H]] out: STRING_8 overriden alias "|<+" (r: [like Current] FUN [G, H]): [like Current] FUN [G, H] overriden_by alias "@<+" (t: TUPLE [G, H]): [like Current] FUN [G, H] range: SET [H] range_as_bag: BAG [H] range_restricted alias "|>" (rs: SET [H]): [like Current] FUN [G, H] range_restricted_by alias "@>" (h: H): [like Current] FUN [G, H] range_subtracted alias "|>>" (rs: SET [H]): [like Current] FUN [G, H] range_subtracted_by alias "@>>" (h: H): [like Current] FUN [G, H] subtracted alias "-" (p: PAIR [G, H]): [like Current] FUN [G, H] unioned alias "|\/|" (other: [like Current] FUN [G, H]): [like Current] FUN [G, H] Commands difference (other: [like Current] FUN [G, H]) domain_restrict (ds: SET [G]) domain_restrict_by (g: G) domain_subtract (ds: SET [G]) domain_subtract_by (g: G) extend (p: PAIR [G, H]) intersect (other: [like Current] FUN [G, H]) make_empty make_from_array (a: ARRAY [TUPLE [G, H]]) override (r: [like Current] FUN [G, H]) override_by (t: TUPLE [G, H]) put (h: H; g: G) range_restrict (rs: SET [H]) range_restrict_by (h: H) range_subtract (rs: SET [H]) range_subtract_by (h: H) subtract (p: PAIR [G, H]) union (other: [like Current] FUN [G, H]) Constraints is a function
Generated by ISE EiffelStudio