Reorder [rand.synopsis] before [rand.req]

Author: CaseyCarter

source/numerics.tex

@@ -1459,6 +1459,160 @@
 \end{enumeratea}
 
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% Header synopsis subclause
+%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\rSec2[rand.synopsis]{Header \tcode{<random>} synopsis}%
+\indexhdr{random}
+\indextext{random number generation!synopsis|(}
+
+\begin{codeblock}
+#include <initializer_list>
+
+namespace std {
+  // \ref{rand.req.urng}, concept UniformRandomBitGenerator
+  template <class G>
+  concept UniformRandomBitGenerator = @\seebelow@;
+
+  // \ref{rand.eng.lcong}, class template \tcode{linear_congruential_engine}
+  template<class UIntType, UIntType a, UIntType c, UIntType m>
+    class linear_congruential_engine;
+
+  // \ref{rand.eng.mers}, class template \tcode{mersenne_twister_engine}
+  template<class UIntType, size_t w, size_t n, size_t m, size_t r,
+           UIntType a, size_t u, UIntType d, size_t s,
+           UIntType b, size_t t,
+           UIntType c, size_t l, UIntType f>
+    class mersenne_twister_engine;
+
+  // \ref{rand.eng.sub}, class template \tcode{subtract_with_carry_engine}
+  template<class UIntType, size_t w, size_t s, size_t r>
+    class subtract_with_carry_engine;
+
+  // \ref{rand.adapt.disc}, class template \tcode{discard_block_engine}
+  template<class Engine, size_t p, size_t r>
+    class discard_block_engine;
+
+  // \ref{rand.adapt.ibits}, class template \tcode{independent_bits_engine}
+  template<class Engine, size_t w, class UIntType>
+    class independent_bits_engine;
+
+  // \ref{rand.adapt.shuf}, class template \tcode{shuffle_order_engine}
+  template<class Engine, size_t k>
+    class shuffle_order_engine;
+
+  // \ref{rand.predef}, engines and engine adaptors with predefined parameters
+  using minstd_rand0  = @\seebelow@;
+  using minstd_rand   = @\seebelow@;
+  using mt19937       = @\seebelow@;
+  using mt19937_64    = @\seebelow@;
+  using ranlux24_base = @\seebelow@;
+  using ranlux48_base = @\seebelow@;
+  using ranlux24      = @\seebelow@;
+  using ranlux48      = @\seebelow@;
+  using knuth_b       = @\seebelow@;
+
+  using default_random_engine = @\seebelow@;
+
+  // \ref{rand.device}, class \tcode{random_device}
+  class random_device;
+
+  // \ref{rand.util.seedseq}, class \tcode{seed_seq}
+  class seed_seq;
+
+  // \ref{rand.util.canonical}, function template \tcode{generate_canonical}
+  template<class RealType, size_t bits, class URBG>
+    RealType generate_canonical(URBG& g);
+
+  // \ref{rand.dist.uni.int}, class template \tcode{uniform_int_distribution}
+  template<class IntType = int>
+    class uniform_int_distribution;
+
+  // \ref{rand.dist.uni.real}, class template \tcode{uniform_real_distribution}
+  template<class RealType = double>
+    class uniform_real_distribution;
+
+  // \ref{rand.dist.bern.bernoulli}, class \tcode{bernoulli_distribution}
+  class bernoulli_distribution;
+
+  // \ref{rand.dist.bern.bin}, class template \tcode{binomial_distribution}
+  template<class IntType = int>
+    class binomial_distribution;
+
+  // \ref{rand.dist.bern.geo}, class template \tcode{geometric_distribution}
+  template<class IntType = int>
+    class geometric_distribution;
+
+  // \ref{rand.dist.bern.negbin}, class template \tcode{negative_binomial_distribution}
+  template<class IntType = int>
+    class negative_binomial_distribution;
+
+  // \ref{rand.dist.pois.poisson}, class template \tcode{poisson_distribution}
+  template<class IntType = int>
+    class poisson_distribution;
+
+  // \ref{rand.dist.pois.exp}, class template \tcode{exponential_distribution}
+  template<class RealType = double>
+    class exponential_distribution;
+
+  // \ref{rand.dist.pois.gamma}, class template \tcode{gamma_distribution}
+  template<class RealType = double>
+    class gamma_distribution;
+
+  // \ref{rand.dist.pois.weibull}, class template \tcode{weibull_distribution}
+  template<class RealType = double>
+    class weibull_distribution;
+
+  // \ref{rand.dist.pois.extreme}, class template \tcode{extreme_value_distribution}
+  template<class RealType = double>
+    class extreme_value_distribution;
+
+  // \ref{rand.dist.norm.normal}, class template \tcode{normal_distribution}
+  template<class RealType = double>
+    class normal_distribution;
+
+  // \ref{rand.dist.norm.lognormal}, class template \tcode{lognormal_distribution}
+  template<class RealType = double>
+    class lognormal_distribution;
+
+  // \ref{rand.dist.norm.chisq}, class template \tcode{chi_squared_distribution}
+  template<class RealType = double>
+    class chi_squared_distribution;
+
+  // \ref{rand.dist.norm.cauchy}, class template \tcode{cauchy_distribution}
+  template<class RealType = double>
+    class cauchy_distribution;
+
+  // \ref{rand.dist.norm.f}, class template \tcode{fisher_f_distribution}
+  template<class RealType = double>
+    class fisher_f_distribution;
+
+  // \ref{rand.dist.norm.t}, class template \tcode{student_t_distribution}
+  template<class RealType = double>
+    class student_t_distribution;
+
+  // \ref{rand.dist.samp.discrete}, class template \tcode{discrete_distribution}
+  template<class IntType = int>
+    class discrete_distribution;
+
+  // \ref{rand.dist.samp.pconst}, class template \tcode{piecewise_constant_distribution}
+  template<class RealType = double>
+    class piecewise_constant_distribution;
+
+  // \ref{rand.dist.samp.plinear}, class template \tcode{piecewise_linear_distribution}
+  template<class RealType = double>
+    class piecewise_linear_distribution;
+}
+\end{codeblock}%
+\indextext{random number generation!synopsis|)}%
+
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%
@@ -2518,160 +2672,6 @@
 \indextext{random number generation!requirements|)}
 
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%
-%% Header synopsis subclause
-%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
-\rSec2[rand.synopsis]{Header \tcode{<random>} synopsis}%
-\indexhdr{random}
-\indextext{random number generation!synopsis|(}
-
-\begin{codeblock}
-#include <initializer_list>
-
-namespace std {
-  // \ref{rand.req.urng}, concept UniformRandomBitGenerator
-  template <class G>
-  concept UniformRandomBitGenerator = @\seebelow@;
-
-  // \ref{rand.eng.lcong}, class template \tcode{linear_congruential_engine}
-  template<class UIntType, UIntType a, UIntType c, UIntType m>
-    class linear_congruential_engine;
-
-  // \ref{rand.eng.mers}, class template \tcode{mersenne_twister_engine}
-  template<class UIntType, size_t w, size_t n, size_t m, size_t r,
-           UIntType a, size_t u, UIntType d, size_t s,
-           UIntType b, size_t t,
-           UIntType c, size_t l, UIntType f>
-    class mersenne_twister_engine;
-
-  // \ref{rand.eng.sub}, class template \tcode{subtract_with_carry_engine}
-  template<class UIntType, size_t w, size_t s, size_t r>
-    class subtract_with_carry_engine;
-
-  // \ref{rand.adapt.disc}, class template \tcode{discard_block_engine}
-  template<class Engine, size_t p, size_t r>
-    class discard_block_engine;
-
-  // \ref{rand.adapt.ibits}, class template \tcode{independent_bits_engine}
-  template<class Engine, size_t w, class UIntType>
-    class independent_bits_engine;
-
-  // \ref{rand.adapt.shuf}, class template \tcode{shuffle_order_engine}
-  template<class Engine, size_t k>
-    class shuffle_order_engine;
-
-  // \ref{rand.predef}, engines and engine adaptors with predefined parameters
-  using minstd_rand0  = @\seebelow@;
-  using minstd_rand   = @\seebelow@;
-  using mt19937       = @\seebelow@;
-  using mt19937_64    = @\seebelow@;
-  using ranlux24_base = @\seebelow@;
-  using ranlux48_base = @\seebelow@;
-  using ranlux24      = @\seebelow@;
-  using ranlux48      = @\seebelow@;
-  using knuth_b       = @\seebelow@;
-
-  using default_random_engine = @\seebelow@;
-
-  // \ref{rand.device}, class \tcode{random_device}
-  class random_device;
-
-  // \ref{rand.util.seedseq}, class \tcode{seed_seq}
-  class seed_seq;
-
-  // \ref{rand.util.canonical}, function template \tcode{generate_canonical}
-  template<class RealType, size_t bits, class URBG>
-    RealType generate_canonical(URBG& g);
-
-  // \ref{rand.dist.uni.int}, class template \tcode{uniform_int_distribution}
-  template<class IntType = int>
-    class uniform_int_distribution;
-
-  // \ref{rand.dist.uni.real}, class template \tcode{uniform_real_distribution}
-  template<class RealType = double>
-    class uniform_real_distribution;
-
-  // \ref{rand.dist.bern.bernoulli}, class \tcode{bernoulli_distribution}
-  class bernoulli_distribution;
-
-  // \ref{rand.dist.bern.bin}, class template \tcode{binomial_distribution}
-  template<class IntType = int>
-    class binomial_distribution;
-
-  // \ref{rand.dist.bern.geo}, class template \tcode{geometric_distribution}
-  template<class IntType = int>
-    class geometric_distribution;
-
-  // \ref{rand.dist.bern.negbin}, class template \tcode{negative_binomial_distribution}
-  template<class IntType = int>
-    class negative_binomial_distribution;
-
-  // \ref{rand.dist.pois.poisson}, class template \tcode{poisson_distribution}
-  template<class IntType = int>
-    class poisson_distribution;
-
-  // \ref{rand.dist.pois.exp}, class template \tcode{exponential_distribution}
-  template<class RealType = double>
-    class exponential_distribution;
-
-  // \ref{rand.dist.pois.gamma}, class template \tcode{gamma_distribution}
-  template<class RealType = double>
-    class gamma_distribution;
-
-  // \ref{rand.dist.pois.weibull}, class template \tcode{weibull_distribution}
-  template<class RealType = double>
-    class weibull_distribution;
-
-  // \ref{rand.dist.pois.extreme}, class template \tcode{extreme_value_distribution}
-  template<class RealType = double>
-    class extreme_value_distribution;
-
-  // \ref{rand.dist.norm.normal}, class template \tcode{normal_distribution}
-  template<class RealType = double>
-    class normal_distribution;
-
-  // \ref{rand.dist.norm.lognormal}, class template \tcode{lognormal_distribution}
-  template<class RealType = double>
-    class lognormal_distribution;
-
-  // \ref{rand.dist.norm.chisq}, class template \tcode{chi_squared_distribution}
-  template<class RealType = double>
-    class chi_squared_distribution;
-
-  // \ref{rand.dist.norm.cauchy}, class template \tcode{cauchy_distribution}
-  template<class RealType = double>
-    class cauchy_distribution;
-
-  // \ref{rand.dist.norm.f}, class template \tcode{fisher_f_distribution}
-  template<class RealType = double>
-    class fisher_f_distribution;
-
-  // \ref{rand.dist.norm.t}, class template \tcode{student_t_distribution}
-  template<class RealType = double>
-    class student_t_distribution;
-
-  // \ref{rand.dist.samp.discrete}, class template \tcode{discrete_distribution}
-  template<class IntType = int>
-    class discrete_distribution;
-
-  // \ref{rand.dist.samp.pconst}, class template \tcode{piecewise_constant_distribution}
-  template<class RealType = double>
-    class piecewise_constant_distribution;
-
-  // \ref{rand.dist.samp.plinear}, class template \tcode{piecewise_linear_distribution}
-  template<class RealType = double>
-    class piecewise_linear_distribution;
-}
-\end{codeblock}%
-\indextext{random number generation!synopsis|)}%
-
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%