Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	FIXED_INTEGER_SET

General
	cluster: lex
	description: "Sets of integers with a finite number of items"
	create: make, boolean_set_make

Ancestors
	BOOL_STRING

Queries
	at alias "@" (i: INTEGER_32): BOOLEAN
	conjuncted alias "and" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
	count: INTEGER_32
	disjuncted alias "or" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
	disjuncted_exclusive alias "xor" (other: [like Current] FIXED_INTEGER_SET): [like Current] FIXED_INTEGER_SET
	has (i: INTEGER_32): BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] FIXED_INTEGER_SET): BOOLEAN
	item alias "[]" (i: INTEGER_32): BOOLEAN
	largest: INTEGER_32
	left_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET
	negated alias "not": [like Current] FIXED_INTEGER_SET
	next (p: INTEGER_32): INTEGER_32
	right_shifted (n: INTEGER_32): [like Current] FIXED_INTEGER_SET
	smallest: INTEGER_32
	to_c: ANY
	valid_index (i: INTEGER_32): BOOLEAN

Commands
	all_false
	all_true
	bool_string_put (v: [like item] BOOLEAN; i: INTEGER_32)
	boolean_set_make (n: INTEGER_32)
	copy (other: [like Current] FIXED_INTEGER_SET)
	make (n: INTEGER_32)
	print
	put (i: INTEGER_32)
	remove (i: INTEGER_32)

Constraints
	positive size



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org