Automatic generation produced by ISE Eiffel

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

General
	cluster: base.support
	description: "Packed boolean strings"
	create: make

Ancestors
	TO_SPECIAL [T]

Queries
	infix "and" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	infix "or" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	infix "xor" (other: [like Current] BOOL_STRING): [like Current] BOOL_STRING
	prefix "not": [like Current] BOOL_STRING
	count: INTEGER
	item (i: INTEGER): BOOLEAN
	left_shifted (n: INTEGER): [like Current] BOOL_STRING
	right_shifted (n: INTEGER): [like Current] BOOL_STRING

Commands
	all_false
	all_true
	make (n: INTEGER)
	put (v: [like item] BOOLEAN; i: INTEGER)



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

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