Searched defs:rounding (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | reals.cpp | 435 static int setrounding(int rounding) argument
462 static int setrounding(int rounding) argument
490 static int setrounding(int rounding) argument
[all...] |
| H A D | realconv.cpp | 544 BCinfo { int dp0, dp1, dplen, dsign, e0, inexact, nd, nd0, rounding, scale, uflchk; }; member in struct:BCinfo
1829 CONST char **sp; U *rvp; int rounding, sign; variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Dialog.sml | 437 val rounding = Word8Vector.length vec mod 4 value
448 val rounding = Word8Vector.length header mod 4 value
|
Completed in 96 milliseconds