tmp/tmp6kgmboh9/{from.md → to.md}
RENAMED
|
@@ -94,5 +94,25 @@ provide at least acceptable engine behavior for relatively casual,
|
|
| 94 |
inexpert, and/or lightweight use. Because different implementations can
|
| 95 |
select different underlying engine types, code that uses this `typedef`
|
| 96 |
need not generate identical sequences across
|
| 97 |
implementations. — *end note*]
|
| 98 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 94 |
inexpert, and/or lightweight use. Because different implementations can
|
| 95 |
select different underlying engine types, code that uses this `typedef`
|
| 96 |
need not generate identical sequences across
|
| 97 |
implementations. — *end note*]
|
| 98 |
|
| 99 |
+
``` cpp
|
| 100 |
+
using philox4x32 =
|
| 101 |
+
philox_engine<uint_fast32_t, 32, 4, 10,
|
| 102 |
+
0xCD9E8D57, 0x9E3779B9, 0xD2511F53, 0xBB67AE85>;
|
| 103 |
+
```
|
| 104 |
+
|
| 105 |
+
*Required behavior:* The 10000ᵗʰ consecutive invocation a
|
| 106 |
+
default-constructed object of type `philox4x32` produces the value
|
| 107 |
+
1955073260.
|
| 108 |
+
|
| 109 |
+
``` cpp
|
| 110 |
+
using philox4x64 =
|
| 111 |
+
philox_engine<uint_fast64_t, 64, 4, 10,
|
| 112 |
+
0xCA5A826395121157, 0x9E3779B97F4A7C15, 0xD2E7470EE14C6C93, 0xBB67AE8584CAA73B>;
|
| 113 |
+
```
|
| 114 |
+
|
| 115 |
+
*Required behavior:* The 10000ᵗʰ consecutive invocation a
|
| 116 |
+
default-constructed object of type `philox4x64` produces the value
|
| 117 |
+
3409172418970261260.
|
| 118 |
+
|