expanded class FLOAT General cluster: mathmodels description: "Floating point numbers based on REAL_64 With an approximately equal operator, see FLOAT_COMPARABLE" create: default_create, make_from_reference, make_from_real, make_from_integer_32 Ancestors REAL_64_REF Queries abs: REAL_64 as_real: 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 formatted (n: INTEGER_32): STRING_8 hash_code: INTEGER_32 identity alias "+": [like Current] FLOAT is_approx_equal alias "|~|" (x: FLOAT): FLOAT_COMPARER is_equal (other: [like Current] FLOAT): BOOLEAN is_greater alias ">" (other: [like Current] FLOAT): BOOLEAN is_greater_equal alias ">=" (other: [like Current] FLOAT): BOOLEAN is_hashable: BOOLEAN is_less alias "<" (other: [like Current] FLOAT): BOOLEAN is_less_equal alias "<=" (other: [like Current] FLOAT): BOOLEAN is_nan: BOOLEAN is_negative_infinity: BOOLEAN is_positive_infinity: BOOLEAN item: REAL_64 Machine_epsilon: REAL_64 max (other: [like Current] FLOAT): [like Current] FLOAT Max_value: REAL_64 min (other: [like Current] FLOAT): [like Current] FLOAT Min_value: REAL_64 minus alias "-" (other: [like Current] FLOAT): [like Current] FLOAT nan: REAL_64 negative_infinity: REAL_64 one: [like Current] FLOAT opposite alias "-": [like Current] FLOAT out: STRING_8 plus alias "+" (other: [like Current] FLOAT): [like Current] FLOAT positive_infinity: REAL_64 power alias "^" (other: REAL_64): REAL_64 product alias "*" (other: [like Current] FLOAT): [like Current] FLOAT quotient alias "/" (other: [like Current] FLOAT): [like Current] FLOAT rounded: INTEGER_32 rounded_real_64: REAL_64 sign: INTEGER_32 three_way_comparison (other: [like Current] FLOAT): 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] FLOAT Commands make_from_integer_32 (x: INTEGER_32) make_from_real (r: REAL_64) set_item (d: REAL_64)
Generated by ISE EiffelStudio