Automatic generation produced by ISE Eiffel

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

General
	cluster: base.kernel
	description: "Truth values, with the boolean operations"

Ancestors
	BOOLEAN_REF

Queries
	infix "and" (other: [like Current] BOOLEAN): BOOLEAN
	infix "and then" (other: [like Current] BOOLEAN): BOOLEAN
	infix "implies" (other: [like Current] BOOLEAN): BOOLEAN
	infix "or" (other: [like Current] BOOLEAN): BOOLEAN
	infix "or else" (other: [like Current] BOOLEAN): BOOLEAN
	infix "xor" (other: [like Current] BOOLEAN): BOOLEAN
	prefix "not": [like Current] BOOLEAN
	hash_code: INTEGER
	is_hashable: BOOLEAN
	item: BOOLEAN
	out: STRING
	to_integer: INTEGER

Commands
	set_item (b: BOOLEAN)



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

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