Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
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
	ieee_is_equal (other: REAL_64): BOOLEAN
	ieee_is_greater (other: REAL_64): BOOLEAN
	ieee_is_greater_equal (other: REAL_64): BOOLEAN
	ieee_is_less (other: REAL_64): BOOLEAN
	ieee_is_less_equal (other: REAL_64): BOOLEAN
	ieee_maximum_number (other: REAL_64): REAL_64
	ieee_minimum_number (other: REAL_64): REAL_64
	is_equal (other: [like Current] REAL_64): BOOLEAN
	is_greater alias ">" (other: [like Current] REAL_64): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] REAL_64): BOOLEAN
	is_hashable: BOOLEAN
	is_less alias "<" (other: REAL_64): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] REAL_64): BOOLEAN
	is_nan: BOOLEAN
	is_negative_infinity: BOOLEAN
	is_positive_infinity: BOOLEAN
	item: REAL_64
	Machine_epsilon: REAL_64
	max alias "∨" (other: [like Current] REAL_64): [like Current] REAL_64
	Max_value: REAL_64
	min alias "∧" (other: [like Current] REAL_64): [like Current] REAL_64
	Min_value: REAL_64
	minus alias "-" alias "−" (other: REAL_64): REAL_64
	nan: REAL_64
	negative_infinity: REAL_64
	one: [like Current] REAL_64
	opposite alias "-" 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 "*" alias "×" (other: REAL_64): REAL_64
	quotient alias "/" alias "÷" (other: REAL_64): REAL_64
	rounded: INTEGER_32
	rounded_real_64: REAL_64
	sign: INTEGER_32
	three_way_comparison alias "⋚" (other: [like Current] 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: [like Current] REAL_64

Commands
	set_item (d: REAL_64)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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