Ada 编程/属性/'模型 Epsilon

描述

模型号 1.0 与子类型下一个模型号之间的绝对差。

生成值 T'Machine_Radix^{1 – T'Model_Mantissa}。此属性的值类型为 universal_real。

示例

S’Model_Epsilon return universal_real