expanded class REAL_64 Ancestors REAL_64_REF Clients DATE_TIME DATE_TIME_CODE_STRING DATE_TIME_DURATION DATE_TIME_PARSER DOUBLE_MATH EQA_TEST_OUTPUT_BUFFER INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_8_REF I_SOUND M_FIXED NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF NATURAL_8_REF PRIMES READABLE_STRING_GENERAL* REAL_32_REF REAL_64 REAL_64_REF RT_DBG_EXECUTION_RECORDER SED_SESSION_DESERIALIZER SOUND_SDL_MODULE STRING_32 STRING_8 STRING_TO_REAL_CONVERTOR TIME TIME_DURATION TIME_MEASUREMENT* TIME_UTILITY TIME_VALIDITY_CHECKER TIME_VALUE TUPLE Suppliers REAL_64
Generated by ISE EiffelStudio