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