Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 
class
	SET [G -> attached ANY]

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

Ancestors
	DEBUG_OUTPUT*
	ITERABLE* [G]

Queries
	as_array: ARRAY [G]
	chosen: BOOLEAN
	comprehension alias "|" (exp: PREDICATE [G]): [like Current] attached SET [G]
	count alias "#": INTEGER_32
	debug_output: STRING_8
	differenced alias "|\" (other: [like Current] attached SET [G]): [like Current] attached SET [G]
	extended alias "+" (g: G): [like Current] attached SET [G]
	has (g: G): BOOLEAN
	hold_count (exp: PREDICATE [G]): INTEGER_32
	intersected alias "|/\|" (other: [like Current] attached SET [G]): [like Current] attached SET [G]
	is_empty: BOOLEAN
	is_equal (other: [like Current] attached SET [G]): BOOLEAN
	is_subset_of alias "|<:" (other: [like Current] attached SET [G]): BOOLEAN
	item: G
	new_cursor: ITERATION_CURSOR [G]
	out: STRING_8
	subtracted alias "-" (g: G): [like Current] attached SET [G]
	unioned alias "|\/|" (other: [like Current] attached SET [G]): [like Current] attached SET [G]

Commands
	choose_item
	difference (other: [like Current] attached SET [G])
	extend (g: G)
	intersect (other: [like Current] attached SET [G])
	make_empty
	make_from_array (a: ARRAY [G])
	remove_item
	subtract (g: G)
	union (other: [like Current] attached SET [G])

Constraints
	no duplicates



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com