tmp/tmp56doh9vx/{from.md → to.md}
RENAMED
|
@@ -21,17 +21,17 @@ indicated semantics, and if `D` and its associated types also meet all
|
|
| 21 |
other requirements of this subclause [[rand.req.dist]]. In that Table
|
| 22 |
and throughout this subclause,
|
| 23 |
|
| 24 |
- `T` is the type named by `D`’s associated `result_type`;
|
| 25 |
- `P` is the type named by `D`’s associated `param_type`;
|
| 26 |
-
- `d` is a value of `D`, and `x` and `y` are (possibly
|
| 27 |
-
|
| 28 |
- `glb` and `lub` are values of `T` respectively corresponding to the
|
| 29 |
greatest lower bound and the least upper bound on the values
|
| 30 |
potentially returned by `d`’s `operator()`, as determined by the
|
| 31 |
current values of `d`’s parameters;
|
| 32 |
-
- `p` is a (possibly
|
| 33 |
- `g`, `g1`, and `g2` are lvalues of a type meeting the requirements of
|
| 34 |
a uniform random bit generator [[rand.req.urng]];
|
| 35 |
- `os` is an lvalue of the type of some class template specialization
|
| 36 |
`basic_ostream<charT,` `traits>`; and
|
| 37 |
- `is` is an lvalue of the type of some class template specialization
|
|
@@ -44,11 +44,11 @@ where `charT` and `traits` are constrained according to [[strings]] and
|
|
| 44 |
[[cpp17.copyconstructible]]) and *Cpp17CopyAssignable* (
|
| 45 |
[[cpp17.copyassignable]]) requirements.
|
| 46 |
|
| 47 |
The sequence of numbers produced by repeated invocations of `d(g)` shall
|
| 48 |
be independent of any invocation of `os << d` or of any `const` member
|
| 49 |
-
function of `D` between any of the invocations `d(g)`.
|
| 50 |
|
| 51 |
If a textual representation is written using `os << x` and that
|
| 52 |
representation is restored into the same or a different object `y` of
|
| 53 |
the same type using `is >> y`, repeated invocations of `y(g)` shall
|
| 54 |
produce the same sequence of numbers as would repeated invocations of
|
|
|
|
| 21 |
other requirements of this subclause [[rand.req.dist]]. In that Table
|
| 22 |
and throughout this subclause,
|
| 23 |
|
| 24 |
- `T` is the type named by `D`’s associated `result_type`;
|
| 25 |
- `P` is the type named by `D`’s associated `param_type`;
|
| 26 |
+
- `d` is a value of `D`, and `x` and `y` are (possibly const) values of
|
| 27 |
+
`D`;
|
| 28 |
- `glb` and `lub` are values of `T` respectively corresponding to the
|
| 29 |
greatest lower bound and the least upper bound on the values
|
| 30 |
potentially returned by `d`’s `operator()`, as determined by the
|
| 31 |
current values of `d`’s parameters;
|
| 32 |
+
- `p` is a (possibly const) value of `P`;
|
| 33 |
- `g`, `g1`, and `g2` are lvalues of a type meeting the requirements of
|
| 34 |
a uniform random bit generator [[rand.req.urng]];
|
| 35 |
- `os` is an lvalue of the type of some class template specialization
|
| 36 |
`basic_ostream<charT,` `traits>`; and
|
| 37 |
- `is` is an lvalue of the type of some class template specialization
|
|
|
|
| 44 |
[[cpp17.copyconstructible]]) and *Cpp17CopyAssignable* (
|
| 45 |
[[cpp17.copyassignable]]) requirements.
|
| 46 |
|
| 47 |
The sequence of numbers produced by repeated invocations of `d(g)` shall
|
| 48 |
be independent of any invocation of `os << d` or of any `const` member
|
| 49 |
+
function of `D` between any of the invocations of `d(g)`.
|
| 50 |
|
| 51 |
If a textual representation is written using `os << x` and that
|
| 52 |
representation is restored into the same or a different object `y` of
|
| 53 |
the same type using `is >> y`, repeated invocations of `y(g)` shall
|
| 54 |
produce the same sequence of numbers as would repeated invocations of
|