Automatic generation produced by ISE Eiffel

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

General
	cluster: elks
	description: "Packed boolean strings"
	create: make

Ancestors
	ANY
	TO_SPECIAL [T]

Queries
	at alias "@" (i: INTEGER_32): BOOLEAN
	conjuncted alias "and" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	count: INTEGER_32
	disjuncted alias "or" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	disjuncted_exclusive alias "xor" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	is_equal (other: [like Current] BOOL_STRING): BOOLEAN
	item alias "[]" (i: INTEGER_32): BOOLEAN
	left_shifted (n: INTEGER_32): [like Current] BOOL_STRING
	negated alias "not": [like Current] BOOL_STRING
	right_shifted (n: INTEGER_32): [like Current] BOOL_STRING
	valid_index (i: INTEGER_32): BOOLEAN

Commands
	all_false
	all_true
	copy (other: [like Current] BOOL_STRING)
	make (n: INTEGER_32)
	put (v: [like item] BOOLEAN; i: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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