Automatic generation produced by ISE Eiffel

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

General
	cluster: elks
	description: "Truth values, with the boolean operations."
	create: default_create, make_from_reference

Ancestors
	BOOLEAN_REF

Queries
	conjuncted alias "and" alias "∧" (other: BOOLEAN): BOOLEAN
	conjuncted_semistrict alias "and then" alias "∧…" (other: BOOLEAN): BOOLEAN
	disjuncted alias "or" alias "∨" (other: BOOLEAN): BOOLEAN
	disjuncted_exclusive alias "xor" alias "⊻" (other: BOOLEAN): BOOLEAN
	disjuncted_semistrict alias "or else" alias "∨…" (other: BOOLEAN): BOOLEAN
	hash_code: INTEGER_32
	implication alias "" alias "⇒" (other: BOOLEAN): BOOLEAN
	is_hashable: BOOLEAN
	item: BOOLEAN
	negated alias "not" alias "¬": BOOLEAN
	out: STRING_8
	to_integer: INTEGER_32
	to_reference: BOOLEAN_REF

Commands
	set_item (b: BOOLEAN)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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