Automatic generation produced by ISE Eiffel

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

General
	cluster: elks
	description: "Real values, double precision"
	create: default_create, make_from_reference

Ancestors
	REAL_64_REF

Queries
	abs: REAL_64
	ceiling: INTEGER_32
	ceiling_real_64: REAL_64
	divisible (other: REAL_64_REF): BOOLEAN
	Epsilon: REAL_64
	exponentiable (other: NUMERIC): BOOLEAN
	floor: INTEGER_32
	floor_real_64: REAL_64
	hash_code: INTEGER_32
	identity alias "+": REAL_64
	is_equal (other: [attached like Current] attached REAL_64): BOOLEAN
	is_greater alias ">" (other: [attached like Current] attached REAL_64): BOOLEAN
	is_greater_equal alias ">=" (other: [attached like Current] attached REAL_64): BOOLEAN
	is_hashable: BOOLEAN
	is_less alias "<" (other: REAL_64): BOOLEAN
	is_less_equal alias "<=" (other: [attached like Current] attached REAL_64): BOOLEAN
	is_nan: BOOLEAN
	is_negative_infinity: BOOLEAN
	is_positive_infinity: BOOLEAN
	item: REAL_64
	Machine_epsilon: REAL_64
	max (other: [attached like Current] attached REAL_64): [attached like Current] attached REAL_64
	Max_value: REAL_64
	min (other: [attached like Current] attached REAL_64): [attached like Current] attached REAL_64
	Min_value: REAL_64
	minus alias "-" (other: REAL_64): REAL_64
	nan: REAL_64
	negative_infinity: REAL_64
	one: [attached like Current] attached REAL_64
	opposite alias "-": REAL_64
	out: STRING_8
	plus alias "+" (other: REAL_64): REAL_64
	positive_infinity: REAL_64
	power alias "^" (other: REAL_64): REAL_64
	product alias "*" (other: REAL_64): REAL_64
	quotient alias "/" (other: REAL_64): REAL_64
	rounded: INTEGER_32
	rounded_real_64: REAL_64
	sign: INTEGER_32
	three_way_comparison (other: [attached like Current] attached REAL_64): INTEGER_32
	to_reference: REAL_64_REF
	truncated_to_integer: INTEGER_32
	truncated_to_integer_64: INTEGER_64
	truncated_to_real: REAL_32
	zero: [attached like Current] attached REAL_64

Commands
	set_item (d: REAL_64)



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

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