Automatic generation produced by ISE Eiffel

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

General
	cluster: elks
	description: "References to objects containing a double-precision real number"

Ancestors
	COMPARABLE*
	HASHABLE*
	NUMERIC*

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 "+": [like Current] REAL_64_REF
	is_equal (other: [like Current] REAL_64_REF): BOOLEAN
	is_greater alias ">" (other: [like Current] REAL_64_REF): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] REAL_64_REF): BOOLEAN
	is_hashable: BOOLEAN
	is_less alias "<" (other: [like Current] REAL_64_REF): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] REAL_64_REF): 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_REF): [like Current] REAL_64_REF
	Max_value: REAL_64
	min alias "∧" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	Min_value: REAL_64
	minus alias "-" alias "−" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	nan: REAL_64
	negative_infinity: REAL_64
	one: [like Current] REAL_64_REF
	opposite alias "-" alias "−": [like Current] REAL_64_REF
	out: STRING_8
	plus alias "+" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	positive_infinity: REAL_64
	power alias "^" (other: REAL_64): REAL_64
	product alias "*" alias "×" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	quotient alias "/" alias "÷" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	rounded: INTEGER_32
	rounded_real_64: REAL_64
	sign: INTEGER_32
	three_way_comparison alias "⋚" (other: [like Current] REAL_64_REF): 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_REF

Commands
	set_item (d: REAL_64)

Constraints
	sign times abs



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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