os/ossrv/genericopenlibs/openenvcore/include/machine/float.dosc
author sl
Tue, 10 Jun 2014 14:32:02 +0200
changeset 1 260cb5ec6c19
permissions -rw-r--r--
Update contrib.
     1 /** @file ../include/machine/float.h
     2 @internalComponent
     3 */
     4 
     5 /** @def FLT_RADIX
     6 
     7 Radix of exponent representation, b
     8 
     9 @publishedAll
    10 @externallyDefinedApi
    11 */
    12 
    13 /** @def FLT_ROUNDS
    14 
    15 The rounding mode for floating-point addition is characterized by the implementation-defined value of FLT_ROUNDS
    16 
    17 @publishedAll
    18 @externallyDefinedApi
    19 */
    20 
    21 /** @def FLT_EVAL_METHOD
    22 
    23 The use of evaluation formats is characterized by the implementation-defined value of FLT_EVAL_METHOD
    24 
    25 @publishedAll
    26 @externallyDefinedApi
    27 */
    28 
    29 /** @def DECIMAL_DIG
    30 
    31 Number of decimal digits, n, such that any floating-point number in the widest supported floating type with pmax radix b digits can be rounded to a floating-point number with n decimal digits and back again without change to the value.
    32 
    33 @publishedAll
    34 @externallyDefinedApi
    35 */
    36 
    37 /** @def FLT_MANT_DIG
    38 
    39 Number of base-FLT_RADIX digits in the floating-point significand
    40 
    41 @publishedAll
    42 @externallyDefinedApi
    43 */
    44 
    45 /** @def FLT_EPSILON
    46 
    47 The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
    48 
    49 @publishedAll
    50 @externallyDefinedApi
    51 */
    52 
    53 /** @def FLT_DIG
    54 
    55 Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
    56 
    57 @publishedAll
    58 @externallyDefinedApi
    59 */
    60 
    61 /** @def FLT_MIN_EXP
    62 
    63 Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
    64 
    65 @publishedAll
    66 @externallyDefinedApi
    67 */
    68 
    69 /** @def FLT_MIN
    70 
    71 Minimum normalized positive floating-point number
    72 
    73 @publishedAll
    74 @externallyDefinedApi
    75 */
    76 
    77 /** @def FLT_MIN_10_EXP
    78 
    79 Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
    80 
    81 @publishedAll
    82 @externallyDefinedApi
    83 */
    84 
    85 /** @def FLT_MAX_EXP
    86 
    87 Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
    88 
    89 @publishedAll
    90 @externallyDefinedApi
    91 */
    92 
    93 /** @def FLT_MAX
    94 
    95 Maximum representable finite floating-point number.
    96 
    97 @publishedAll
    98 @externallyDefinedApi
    99 */
   100 
   101 /** @def FLT_MAX_10_EXP
   102 
   103 Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
   104 
   105 @publishedAll
   106 @externallyDefinedApi
   107 */
   108 
   109 /** @def DBL_MANT_DIG
   110 
   111 Number of base-FLT_RADIX digits in the floating-point significand
   112 
   113 @publishedAll
   114 @externallyDefinedApi
   115 */
   116 
   117 /** @def DBL_EPSILON
   118 
   119 The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
   120 
   121 @publishedAll
   122 @externallyDefinedApi
   123 */
   124 
   125 /** @def DBL_DIG
   126 
   127 Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
   128 
   129 @publishedAll
   130 @externallyDefinedApi
   131 */
   132 
   133 /** @def DBL_MIN_EXP
   134 
   135 Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
   136 
   137 @publishedAll
   138 @externallyDefinedApi
   139 */
   140 
   141 /** @def DBL_MIN
   142 
   143 Minimum normalized positive floating-point number
   144 
   145 @publishedAll
   146 @externallyDefinedApi
   147 */
   148 
   149 /** @def DBL_MIN_10_EXP
   150 
   151 Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
   152 
   153 @publishedAll
   154 @externallyDefinedApi
   155 */
   156 
   157 /** @def DBL_MAX_EXP
   158 
   159 Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
   160 
   161 @publishedAll
   162 @externallyDefinedApi
   163 */
   164 
   165 /** @def DBL_MAX
   166 
   167 Maximum representable finite floating-point number.
   168 
   169 @publishedAll
   170 @externallyDefinedApi
   171 */
   172 
   173 /** @def DBL_MAX_10_EXP
   174 
   175 Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
   176 
   177 @publishedAll
   178 @externallyDefinedApi
   179 */
   180 
   181 /** @def LDBL_MANT_DIG
   182 
   183 Number of base-FLT_RADIX digits in the floating-point significand
   184 
   185 @publishedAll
   186 @externallyDefinedApi
   187 */
   188 
   189 /** @def LDBL_EPSILON
   190 
   191 The difference between 1 and the least value greater than 1 that is representable in the given floating-point type
   192 
   193 @publishedAll
   194 @externallyDefinedApi
   195 */
   196 
   197 /** @def LDBL_DIG
   198 
   199 Number of decimal digits, q, such that any floating-point number with q decimal digits can be rounded into a floating-point number with p radix b digits and back again without change to the q decimal digits.
   200 
   201 @publishedAll
   202 @externallyDefinedApi
   203 */
   204 
   205 /** @def LDBL_MIN_EXP
   206 
   207 Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number
   208 
   209 @publishedAll
   210 @externallyDefinedApi
   211 */
   212 
   213 /** @def LDBL_MIN
   214 
   215 Minimum normalized positive floating-point number
   216 
   217 @publishedAll
   218 @externallyDefinedApi
   219 */
   220 
   221 /** @def LDBL_MIN_10_EXP
   222 
   223 Minimum negative integer such that 10 raised to that power is in the range of normalized floating-point numbers.
   224 
   225 @publishedAll
   226 @externallyDefinedApi
   227 */
   228 
   229 /** @def LDBL_MAX_EXP
   230 
   231 Maximum integer such that FLT_RADIX raised to that power minus 1 is a representable finite floating-point number, emax
   232 
   233 @publishedAll
   234 @externallyDefinedApi
   235 */
   236 
   237 /** @def LDBL_MAX
   238 
   239 Maximum representable finite floating-point number.
   240 
   241 @publishedAll
   242 @externallyDefinedApi
   243 */
   244 
   245 /** @def LDBL_MAX_10_EXP
   246 
   247 Maximum integer such that 10 raised to that power is in the range of representable finite floating-point numbers.
   248 
   249 @publishedAll
   250 @externallyDefinedApi
   251 */
   252