class
	REL [G -> attached ANY, H -> attached ANY]

General
	cluster: mathmodels
	description: "RELATION data structure for both specification and implementation."
	create: make_empty, make_from_tuple_array

Ancestors
	SET [G -> attached ANY]

Queries
	as_array: ARRAY [TUPLE [G, H]]
	chosen: BOOLEAN
	comprehension alias "|" (exp: PREDICATE [PAIR [G, H]]): [like Current] REL [G, H]
	count alias "#": INTEGER_32
	debug_output: STRING_8
	differenced alias "|\" (other: [like Current] REL [G, H]): [like Current] REL [G, H]
	domain: SET [G]
	domain_restricted alias "|<" (ds: SET [G]): [like Current] REL [G, H]
	domain_restricted_by alias "@<" (g: G): [like Current] REL [G, H]
	domain_subtracted alias "|<<" (ds: SET [G]): [like Current] REL [G, H]
	domain_subtracted_by alias "@<<" (g: G): [like Current] REL [G, H]
	extended alias "+" (g: PAIR [G, H]): [like Current] REL [G, H]
	has (g: PAIR [G, H]): BOOLEAN
	hold_count (exp: PREDICATE [PAIR [G, H]]): INTEGER_32
	image alias "[]" (g: G): SET [H]
	in_domain (g: G; dom: SET [G]): BOOLEAN
	in_range (h: H; ran: SET [H]): BOOLEAN
	intersected alias "|/\|" (other: [like Current] REL [G, H]): [like Current] REL [G, H]
	inverse: REL [H, G]
	is_empty: BOOLEAN
	is_equal (other: [like Current] REL [G, H]): BOOLEAN
	is_function: BOOLEAN
	is_injection: BOOLEAN
	is_subset_of alias "|<:" (other: [like Current] REL [G, H]): BOOLEAN
	item: PAIR [G, H]
	new_cursor: ITERATION_CURSOR [PAIR [G, H]]
	out: STRING_8
	overriden alias "|<+" (r: [like Current] REL [G, H]): [like Current] REL [G, H]
	overriden_by alias "@<+" (t: TUPLE [G, H]): [like Current] REL [G, H]
	range: SET [H]
	range_restricted alias "|>" (rs: SET [H]): [like Current] REL [G, H]
	range_restricted_by alias "@>" (h: H): [like Current] REL [G, H]
	range_subtracted alias "|>>" (rs: SET [H]): [like Current] REL [G, H]
	range_subtracted_by alias "@>>" (h: H): [like Current] REL [G, H]
	set_as_array: ARRAY [PAIR [G, H]]
	singleton_g (g: G): SET [G]
	singleton_gh (g: G; h: H): REL [G, H]
	singleton_h (h: H): SET [H]
	subtracted alias "-" (g: PAIR [G, H]): [like Current] REL [G, H]
	unioned alias "|\/|" (other: [like Current] REL [G, H]): [like Current] REL [G, H]

Commands
	choose_item
	difference (other: [like Current] REL [G, H])
	domain_restrict (ds: SET [G])
	domain_restrict_by (g: G)
	domain_subtract (ds: SET [G])
	domain_subtract_by (g: G)
	extend (g: PAIR [G, H])
	intersect (other: [like Current] REL [G, H])
	make_empty
	make_from_array (a: ARRAY [PAIR [G, H]])
	make_from_tuple_array (a: ARRAY [TUPLE [G, H]])
	make_one (a_singleton: PAIR [G, H])
	override (r: [like Current] REL [G, H])
	override_by (t: TUPLE [G, H])
	range_restrict (rs: SET [H])
	range_restrict_by (h: H)
	range_subtract (rs: SET [H])
	range_subtract_by (h: H)
	remove_item
	subtract (g: PAIR [G, H])
	union (other: [like Current] REL [G, H])


Generated by ISE EiffelStudio