expanded class REAL_64 Ancestors REAL_64_REF Clients DATE_TIME DATE_TIME_CODE_STRING DATE_TIME_DURATION DATE_TIME_PARSER DECIMAL_ADVANCED_TEST DOUBLE_MATH FLOAT_COMPARER FORMAT_DOUBLE INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_8_REF KI_PLATFORM* KL_DOUBLE_ROUTINES MA_DECIMAL MA_DECIMAL_TEXT_PARSER MONEY NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF NATURAL_8_REF PLUS_ONE PRIMES RANDOM RATIONAL RATIONAL_FUNCTION_TEST READABLE_STRING_GENERAL* REAL_32_REF REAL_64 REAL_64_REF RT_DBG_EXECUTION_RECORDER SED_SESSION_DESERIALIZER STRING_32 STRING_8 STRING_TO_REAL_CONVERTOR TEST_FLOAT1 TEST_VALUE1 TEST_VALUE2 TIME TIME_DURATION TIME_MEASUREMENT* TIME_UTILITY TIME_VALIDITY_CHECKER TIME_VALUE TUPLE Suppliers REAL_64
Generated by ISE EiffelStudio