class
	BAG [G -> attached ANY]

General
	cluster: mathmodels
	description: "Collections with membership multilicity"
	create: make_empty, make_from_array, make_from_tuple_array

Ancestors
	DEBUG_OUTPUT*
	ITERABLE* [G]

Queries
	as_array: ARRAY [G]
	as_function: FUN [G, INTEGER_32]
	as_set: SET [G]
	comprehension alias "|" (exp: PREDICATE [PAIR [G, INTEGER_32]]): [like Current] BAG [G]
	count alias "#": INTEGER_32
	debug_output: STRING_8
	differenced alias "|\" (other: [like Current] BAG [G]): [like Current] BAG [G]
	extended (g: G; i: INTEGER_32): [like Current] BAG [G]
	extended_by alias "+" (g: G): [like Current] BAG [G]
	has (g: G): BOOLEAN
	hold_count (exp: PREDICATE [PAIR [G, INTEGER_32]]): INTEGER_32
	is_empty: BOOLEAN
	is_equal (other: [like Current] BAG [G]): BOOLEAN
	is_subbag_of alias "|<:" (other: [like Current] BAG [G]): BOOLEAN
	new_cursor: ITERATION_CURSOR [PAIR [G, INTEGER_32]]
	occurrences alias "[]" (g: G): INTEGER_32
	out: STRING_8
	overriden (i: INTEGER_32; g: G): [like Current] BAG [G]
	subtracted (g: G; i: INTEGER_32): [like Current] BAG [G]
	subtracted_by alias "-" (g: G): [like Current] BAG [G]
	unioned alias "|\/|" (other: [like Current] BAG [G]): [like Current] BAG [G]

Commands
	difference (other: [like Current] BAG [G])
	extend (g: G; i: INTEGER_32)
	extend_by (g: G)
	make_empty
	make_from_array (a: ARRAY [G])
	make_from_tuple_array (a: ARRAY [TUPLE [G, INTEGER_32]])
	override (i: INTEGER_32; g: G)
	subtract (g: G; i: INTEGER_32)
	subtract_by (g: G)
	union (other: [like Current] BAG [G])

Constraints
	bag not containing zero occurrence item

Generated by ISE EiffelStudio