|
1556 | 1556 | \rSec3[rand.req.genl]{General requirements}%
|
1557 | 1557 |
|
1558 | 1558 | \pnum
|
1559 |
| -Throughout this subclause \ref{rand}, |
| 1559 | +Throughout \ref{rand}, |
1560 | 1560 | the effect of instantiating a template:
|
1561 | 1561 | \begin{itemize}
|
1562 | 1562 | \item
|
|
1616 | 1616 | \end{itemize}
|
1617 | 1617 |
|
1618 | 1618 | \pnum
|
1619 |
| -Throughout this subclause \ref{rand}, |
| 1619 | +Throughout \ref{rand}, |
1620 | 1620 | phrases of the form ``\tcode{x} is an iterator of a specific kind''
|
1621 | 1621 | shall be interpreted as equivalent to the more formal requirement that
|
1622 | 1622 | ``\tcode{x} is a value
|
1623 | 1623 | of a type meeting the requirements
|
1624 | 1624 | of the specified iterator type''.
|
1625 | 1625 |
|
1626 | 1626 | \pnum
|
1627 |
| -Throughout this subclause \ref{rand}, |
| 1627 | +Throughout \ref{rand}, |
1628 | 1628 | any constructor that can be called with a single argument
|
1629 | 1629 | and that meets a requirement specified in this subclause
|
1630 | 1630 | shall be declared \keyword{explicit}.
|
|
1659 | 1659 | in \tref{rand.req.seedseq}
|
1660 | 1660 | are valid and have the indicated semantics,
|
1661 | 1661 | and if \tcode{S} also meets all other requirements
|
1662 |
| -of this subclause \ref{rand.req.seedseq}. |
| 1662 | +of \ref{rand.req.seedseq}. |
1663 | 1663 | In \tref{rand.req.seedseq} and throughout this subclause:
|
1664 | 1664 | \begin{itemize}
|
1665 | 1665 | \item
|
|
1875 | 1875 | in \tref{rand.req.eng}
|
1876 | 1876 | are valid and have the indicated semantics,
|
1877 | 1877 | and if \tcode{E} also meets all other requirements
|
1878 |
| -of this subclause \ref{rand.req.eng}. |
| 1878 | +of \ref{rand.req.eng}. |
1879 | 1879 | In \tref{rand.req.eng} and throughout this subclause:
|
1880 | 1880 | \begin{itemize}
|
1881 | 1881 | \item
|
|
2254 | 2254 | are valid and have the indicated semantics,
|
2255 | 2255 | and if \tcode{D} and its associated types
|
2256 | 2256 | also meet all other requirements
|
2257 |
| -of this subclause \ref{rand.req.dist}. |
| 2257 | +of \ref{rand.req.dist}. |
2258 | 2258 | In \tref{rand.req.dist} and throughout this subclause,
|
2259 | 2259 | \begin{itemize}
|
2260 | 2260 | \item
|
|
2465 | 2465 | It is unspecified whether \tcode{D::param_type}
|
2466 | 2466 | is declared as a (nested) \keyword{class}
|
2467 | 2467 | or via a \keyword{typedef}.
|
2468 |
| -In this subclause \ref{rand}, |
| 2468 | +In \ref{rand}, |
2469 | 2469 | declarations of \tcode{D::param_type}
|
2470 | 2470 | are in the form of \keyword{typedef}s
|
2471 | 2471 | for convenience of exposition only.
|
|
2650 | 2650 | If the template parameter
|
2651 | 2651 | \tcode{m} is $0$,
|
2652 | 2652 | the modulus $m$
|
2653 |
| -used throughout this subclause~\ref{rand.eng.lcong} |
| 2653 | +used throughout \ref{rand.eng.lcong} |
2654 | 2654 | is \tcode{numeric_limits<result_type>::max()} plus $1$.
|
2655 | 2655 | \begin{note}
|
2656 | 2656 | $m$ need not be representable
|
|
3077 | 3077 |
|
3078 | 3078 | \pnum
|
3079 | 3079 | Each type instantiated
|
3080 |
| -from a class template specified in this subclause~\ref{rand.adapt} |
| 3080 | +from a class template specified in \ref{rand.adapt} |
3081 | 3081 | meets the requirements
|
3082 | 3082 | of a random number engine adaptor\iref{rand.req.adapt} type.
|
3083 | 3083 |
|
3084 | 3084 | \pnum
|
3085 | 3085 | Except where specified otherwise,
|
3086 | 3086 | the complexity of each function
|
3087 |
| -specified in this subclause~\ref{rand.adapt} |
| 3087 | +specified in \ref{rand.adapt} |
3088 | 3088 | is constant.
|
3089 | 3089 |
|
3090 | 3090 | \pnum
|
3091 | 3091 | Except where specified otherwise,
|
3092 |
| -no function described in this subclause~\ref{rand.adapt} |
| 3092 | +no function described in \ref{rand.adapt} |
3093 | 3093 | throws an exception.
|
3094 | 3094 |
|
3095 | 3095 | \pnum
|
3096 |
| -Every function described in this subclause~\ref{rand.adapt} |
| 3096 | +Every function described in \ref{rand.adapt} |
3097 | 3097 | that has a function parameter \tcode{q} of type \tcode{Sseq\&}
|
3098 | 3098 | for a template type parameter named \tcode{Sseq}
|
3099 | 3099 | that is different from type \tcode{seed_seq}
|
3100 | 3100 | throws what and when the invocation of \tcode{q.generate} throws.
|
3101 | 3101 |
|
3102 | 3102 | \pnum
|
3103 |
| -Descriptions are provided in this subclause~\ref{rand.adapt} |
| 3103 | +Descriptions are provided in \ref{rand.adapt} |
3104 | 3104 | only for adaptor operations
|
3105 | 3105 | that are not described in subclause~\ref{rand.req.adapt}
|
3106 | 3106 | or for operations where there is additional semantic information.
|
|
3112 | 3112 | are not shown in the synopses.
|
3113 | 3113 |
|
3114 | 3114 | \pnum
|
3115 |
| -Each template specified in this subclause~\ref{rand.adapt} |
| 3115 | +Each template specified in \ref{rand.adapt} |
3116 | 3116 | requires one or more relationships,
|
3117 | 3117 | involving the value(s) of its non-type template parameter(s), to hold.
|
3118 | 3118 | A program instantiating any of these templates
|
|
4142 | 4142 |
|
4143 | 4143 | \pnum
|
4144 | 4144 | Each type instantiated
|
4145 |
| -from a class template specified in this subclause~\ref{rand.dist} |
| 4145 | +from a class template specified in \ref{rand.dist} |
4146 | 4146 | meets the requirements
|
4147 | 4147 | of a random number distribution\iref{rand.req.dist} type.
|
4148 | 4148 |
|
4149 | 4149 | \pnum
|
4150 |
| -Descriptions are provided in this subclause~\ref{rand.dist} |
| 4150 | +Descriptions are provided in \ref{rand.dist} |
4151 | 4151 | only for distribution operations
|
4152 | 4152 | that are not described in \ref{rand.req.dist}
|
4153 | 4153 | or for operations where there is additional semantic information.
|
|
0 commit comments