Automatic generation produced by ISE Eiffel

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

General
	cluster: base.kernel
	description: "References to objects containing a real value"

Ancestors
	COMPARABLE
	HASHABLE
	NUMERIC

Queries
	infix ">=" (other: [like Current] REAL_REF): BOOLEAN
	infix ">" (other: [like Current] REAL_REF): BOOLEAN
	infix "<=" (other: [like Current] REAL_REF): BOOLEAN
	infix "<" (other: [like Current] REAL_REF): BOOLEAN
	infix "-" (other: [like Current] REAL_REF): [like Current] REAL_REF
	infix "+" (other: [like Current] REAL_REF): [like Current] REAL_REF
	infix "^" (other: NUMERIC): DOUBLE
	infix "/" (other: [like Current] REAL_REF): [like Current] REAL_REF
	infix "*" (other: [like Current] REAL_REF): [like Current] REAL_REF
	prefix "-": [like Current] REAL_REF
	prefix "+": [like Current] REAL_REF
	abs: REAL
	ceiling: INTEGER
	divisible (other: REAL_REF): BOOLEAN
	exponentiable (other: NUMERIC): BOOLEAN
	floor: INTEGER
	hash_code: INTEGER
	is_equal (other: [like Current] REAL_REF): BOOLEAN
	is_hashable: BOOLEAN
	item: REAL
	max (other: [like Current] REAL_REF): [like Current] REAL_REF
	min (other: [like Current] REAL_REF): [like Current] REAL_REF
	one: [like Current] REAL_REF
	out: STRING
	rounded: INTEGER
	sign: INTEGER
	three_way_comparison (other: REAL_REF): INTEGER
	truncated_to_integer: INTEGER
	zero: [like Current] REAL_REF

Commands
	set_item (r: REAL)

Constraints
	sign times abs



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

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