From Jason Turner

[rand.util.seedseq]

Diff to HTML by rtfpessoa

tmp/tmpmtjraiji/{from.md → to.md} RENAMED
@@ -1,15 +1,16 @@
1
  #### Class `seed_seq` <a id="rand.util.seedseq">[[rand.util.seedseq]]</a>
2
 
3
  ``` cpp
 
4
  class seed_seq {
5
  public:
6
  // types
7
  using result_type = uint_least32_t;
8
 
9
  // constructors
10
- seed_seq();
11
  template<class T>
12
  seed_seq(initializer_list<T> il);
13
  template<class InputIterator>
14
  seed_seq(InputIterator begin, InputIterator end);
15
 
@@ -27,26 +28,25 @@ public:
27
  void operator=(const seed_seq&) = delete;
28
 
29
  private:
30
  vector<result_type> v; // exposition only
31
  };
 
32
  ```
33
 
34
  ``` cpp
35
- seed_seq();
36
  ```
37
 
38
  *Ensures:* `v.empty()` is `true`.
39
 
40
- *Throws:* Nothing.
41
-
42
  ``` cpp
43
  template<class T>
44
  seed_seq(initializer_list<T> il);
45
  ```
46
 
47
- *Mandates:* `T` is an integer type.
48
 
49
  *Effects:* Same as `seed_seq(il.begin(), il.end())`.
50
 
51
  ``` cpp
52
  template<class InputIterator>
 
1
  #### Class `seed_seq` <a id="rand.util.seedseq">[[rand.util.seedseq]]</a>
2
 
3
  ``` cpp
4
+ namespace std {
5
  class seed_seq {
6
  public:
7
  // types
8
  using result_type = uint_least32_t;
9
 
10
  // constructors
11
+ seed_seq() noexcept;
12
  template<class T>
13
  seed_seq(initializer_list<T> il);
14
  template<class InputIterator>
15
  seed_seq(InputIterator begin, InputIterator end);
16
 
 
28
  void operator=(const seed_seq&) = delete;
29
 
30
  private:
31
  vector<result_type> v; // exposition only
32
  };
33
+ }
34
  ```
35
 
36
  ``` cpp
37
+ seed_seq() noexcept;
38
  ```
39
 
40
  *Ensures:* `v.empty()` is `true`.
41
 
 
 
42
  ``` cpp
43
  template<class T>
44
  seed_seq(initializer_list<T> il);
45
  ```
46
 
47
+ *Constraints:* `T` is an integer type.
48
 
49
  *Effects:* Same as `seed_seq(il.begin(), il.end())`.
50
 
51
  ``` cpp
52
  template<class InputIterator>