Ada Programming/Attributes/'Model Epsilon

Description

Absolute difference between the model number 1.0 and the next model number above for subtype.

Yields the value T'Machine_Radix^{1 – T'Model_Mantissa}. The value of this attribute is of the type universal_real.

Example

S’Model_Epsilon return universal_real