1 | // (C) Copyright John Maddock 2005. |
---|
2 | // (C) Copyright Henry S. Warren 2005. |
---|
3 | // Use, modification and distribution are subject to the |
---|
4 | // Boost Software License, Version 1.0. (See accompanying file |
---|
5 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
---|
6 | |
---|
7 | #ifndef BOOST_TR1_RANDOM_HPP_INCLUDED |
---|
8 | # define BOOST_TR1_RANDOM_HPP_INCLUDED |
---|
9 | # include <boost/tr1/detail/config.hpp> |
---|
10 | |
---|
11 | #ifdef BOOST_HAS_TR1_RANDOM |
---|
12 | # include BOOST_TR1_HEADER(random) |
---|
13 | #else |
---|
14 | // Boost.Random: |
---|
15 | #include <boost/random.hpp> |
---|
16 | #ifndef __SUNPRO_CC |
---|
17 | // Sunpros linker complains if we so much as include this... |
---|
18 | # include <boost/nondet_random.hpp> |
---|
19 | #endif |
---|
20 | #include <boost/tr1/detail/functor2iterator.hpp> |
---|
21 | #include <boost/type_traits/is_fundamental.hpp> |
---|
22 | #include <boost/type_traits/is_same.hpp> |
---|
23 | |
---|
24 | namespace std { namespace tr1{ |
---|
25 | |
---|
26 | using ::boost::variate_generator; |
---|
27 | |
---|
28 | template<class UIntType, UIntType a, UIntType c, UIntType m> |
---|
29 | class linear_congruential |
---|
30 | { |
---|
31 | private: |
---|
32 | typedef ::boost::random::linear_congruential<UIntType, a, c, m, 0> impl_type; |
---|
33 | public: |
---|
34 | // types |
---|
35 | typedef UIntType result_type; |
---|
36 | // parameter values |
---|
37 | BOOST_STATIC_CONSTANT(UIntType, multiplier = a); |
---|
38 | BOOST_STATIC_CONSTANT(UIntType, increment = c); |
---|
39 | BOOST_STATIC_CONSTANT(UIntType, modulus = m); |
---|
40 | // constructors and member function |
---|
41 | explicit linear_congruential(unsigned long x0 = 1) |
---|
42 | : m_gen(x0){} |
---|
43 | linear_congruential(const linear_congruential& that) |
---|
44 | : m_gen(that.m_gen){} |
---|
45 | template<class Gen> linear_congruential(Gen& g) |
---|
46 | { |
---|
47 | init1(g, ::boost::is_same<Gen,linear_congruential>()); |
---|
48 | } |
---|
49 | void seed(unsigned long x0 = 1) |
---|
50 | { m_gen.seed(x0); } |
---|
51 | template<class Gen> void seed(Gen& g) |
---|
52 | { |
---|
53 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
54 | } |
---|
55 | result_type min BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
56 | { return (m_gen.min)(); } |
---|
57 | result_type max BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
58 | { return (m_gen.max)(); } |
---|
59 | result_type operator()() |
---|
60 | { |
---|
61 | return m_gen(); |
---|
62 | } |
---|
63 | bool operator==(const linear_congruential& that)const |
---|
64 | { return m_gen == that.m_gen; } |
---|
65 | bool operator!=(const linear_congruential& that)const |
---|
66 | { return m_gen != that.m_gen; } |
---|
67 | |
---|
68 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
69 | template<class CharT, class Traits> |
---|
70 | friend std::basic_ostream<CharT,Traits>& |
---|
71 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
72 | const linear_congruential& lcg) |
---|
73 | { |
---|
74 | return os << lcg.m_gen; |
---|
75 | } |
---|
76 | |
---|
77 | template<class CharT, class Traits> |
---|
78 | friend std::basic_istream<CharT,Traits>& |
---|
79 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
80 | linear_congruential& lcg) |
---|
81 | { |
---|
82 | return is >> lcg.m_gen; |
---|
83 | } |
---|
84 | #endif |
---|
85 | |
---|
86 | private: |
---|
87 | template <class Gen> |
---|
88 | void init1(Gen& g, const ::boost::true_type&) |
---|
89 | { |
---|
90 | m_gen = g.m_gen; |
---|
91 | } |
---|
92 | template <class Gen> |
---|
93 | void init1(Gen& g, const ::boost::false_type&) |
---|
94 | { |
---|
95 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
96 | } |
---|
97 | template <class Gen> |
---|
98 | void init2(Gen& g, const ::boost::true_type&) |
---|
99 | { |
---|
100 | m_gen.seed(static_cast<unsigned long>(g)); |
---|
101 | } |
---|
102 | template <class Gen> |
---|
103 | void init2(Gen& g, const ::boost::false_type&) |
---|
104 | { |
---|
105 | //typedef typename Gen::result_type gen_rt; |
---|
106 | boost::tr1_details::functor2iterator<Gen, unsigned long> f1(g), f2; |
---|
107 | m_gen.seed(f1, f2); |
---|
108 | } |
---|
109 | impl_type m_gen; |
---|
110 | }; |
---|
111 | |
---|
112 | template<class UIntType, int w, int n, int m, int r, |
---|
113 | UIntType a, int u, int s, UIntType b, int t, UIntType c, int l> |
---|
114 | class mersenne_twister |
---|
115 | { |
---|
116 | typedef ::boost::random::mersenne_twister |
---|
117 | <UIntType, w, n, m, r, a, u, s, b, t, c, l, 0> imp_type; |
---|
118 | public: |
---|
119 | // types |
---|
120 | typedef UIntType result_type; |
---|
121 | // parameter values |
---|
122 | BOOST_STATIC_CONSTANT(int, word_size = w); |
---|
123 | BOOST_STATIC_CONSTANT(int, state_size = n); |
---|
124 | BOOST_STATIC_CONSTANT(int, shift_size = m); |
---|
125 | BOOST_STATIC_CONSTANT(int, mask_bits = r); |
---|
126 | BOOST_STATIC_CONSTANT(UIntType, parameter_a = a); |
---|
127 | BOOST_STATIC_CONSTANT(int, output_u = u); |
---|
128 | BOOST_STATIC_CONSTANT(int, output_s = s); |
---|
129 | BOOST_STATIC_CONSTANT(UIntType, output_b = b); |
---|
130 | BOOST_STATIC_CONSTANT(int, output_t = t); |
---|
131 | BOOST_STATIC_CONSTANT(UIntType, output_c = c); |
---|
132 | BOOST_STATIC_CONSTANT(int, output_l = l); |
---|
133 | // constructors and member function |
---|
134 | mersenne_twister(){} |
---|
135 | explicit mersenne_twister(unsigned long value) |
---|
136 | : m_gen(value == 0 ? 4357UL : value){} |
---|
137 | template<class Gen> mersenne_twister(Gen& g) |
---|
138 | { |
---|
139 | init1(g, ::boost::is_same<mersenne_twister,Gen>()); |
---|
140 | } |
---|
141 | void seed() |
---|
142 | { m_gen.seed(); } |
---|
143 | void seed(unsigned long value) |
---|
144 | { m_gen.seed(value == 0 ? 5489UL : value); } |
---|
145 | template<class Gen> void seed(Gen& g) |
---|
146 | { init2(g, ::boost::is_fundamental<Gen>()); } |
---|
147 | result_type min BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
148 | { return (m_gen.min)(); } |
---|
149 | result_type max BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
150 | { return (m_gen.max)(); } |
---|
151 | result_type operator()() |
---|
152 | { return m_gen(); } |
---|
153 | bool operator==(const mersenne_twister& that)const |
---|
154 | { return m_gen == that.m_gen; } |
---|
155 | bool operator!=(const mersenne_twister& that)const |
---|
156 | { return m_gen != that.m_gen; } |
---|
157 | |
---|
158 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
159 | template<class CharT, class Traits> |
---|
160 | friend std::basic_ostream<CharT,Traits>& |
---|
161 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
162 | const mersenne_twister& lcg) |
---|
163 | { |
---|
164 | return os << lcg.m_gen; |
---|
165 | } |
---|
166 | |
---|
167 | template<class CharT, class Traits> |
---|
168 | friend std::basic_istream<CharT,Traits>& |
---|
169 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
170 | mersenne_twister& lcg) |
---|
171 | { |
---|
172 | return is >> lcg.m_gen; |
---|
173 | } |
---|
174 | #endif |
---|
175 | private: |
---|
176 | template <class Gen> |
---|
177 | void init1(Gen& g, const ::boost::true_type&) |
---|
178 | { |
---|
179 | m_gen = g.m_gen; |
---|
180 | } |
---|
181 | template <class Gen> |
---|
182 | void init1(Gen& g, const ::boost::false_type&) |
---|
183 | { |
---|
184 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
185 | } |
---|
186 | template <class Gen> |
---|
187 | void init2(Gen& g, const ::boost::true_type&) |
---|
188 | { |
---|
189 | m_gen.seed(static_cast<unsigned long>(g == 0 ? 4357UL : g)); |
---|
190 | } |
---|
191 | template <class Gen> |
---|
192 | void init2(Gen& g, const ::boost::false_type&) |
---|
193 | { |
---|
194 | m_gen.seed(g); |
---|
195 | } |
---|
196 | imp_type m_gen; |
---|
197 | }; |
---|
198 | |
---|
199 | template<class IntType, IntType m, int s, int r> |
---|
200 | class subtract_with_carry |
---|
201 | { |
---|
202 | public: |
---|
203 | // types |
---|
204 | typedef IntType result_type; |
---|
205 | // parameter values |
---|
206 | BOOST_STATIC_CONSTANT(IntType, modulus = m); |
---|
207 | BOOST_STATIC_CONSTANT(int, long_lag = r); |
---|
208 | BOOST_STATIC_CONSTANT(int, short_lag = s); |
---|
209 | |
---|
210 | // constructors and member function |
---|
211 | subtract_with_carry(){} |
---|
212 | explicit subtract_with_carry(unsigned long value) |
---|
213 | : m_gen(value == 0 ? 19780503UL : value){} |
---|
214 | template<class Gen> subtract_with_carry(Gen& g) |
---|
215 | { init1(g, ::boost::is_same<Gen, subtract_with_carry<IntType, m, s, r> >()); } |
---|
216 | void seed(unsigned long value = 19780503ul) |
---|
217 | { m_gen.seed(value == 0 ? 19780503UL : value); } |
---|
218 | template<class Gen> void seed(Gen& g) |
---|
219 | { init2(g, ::boost::is_fundamental<Gen>()); } |
---|
220 | result_type min BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
221 | { return (m_gen.min)(); } |
---|
222 | result_type max BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
223 | { return (m_gen.max)(); } |
---|
224 | result_type operator()() |
---|
225 | { return m_gen(); } |
---|
226 | bool operator==(const subtract_with_carry& that)const |
---|
227 | { return m_gen == that.m_gen; } |
---|
228 | bool operator!=(const subtract_with_carry& that)const |
---|
229 | { return m_gen != that.m_gen; } |
---|
230 | |
---|
231 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
232 | template<class CharT, class Traits> |
---|
233 | friend std::basic_ostream<CharT,Traits>& |
---|
234 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
235 | const subtract_with_carry& lcg) |
---|
236 | { |
---|
237 | return os << lcg.m_gen; |
---|
238 | } |
---|
239 | |
---|
240 | template<class CharT, class Traits> |
---|
241 | friend std::basic_istream<CharT,Traits>& |
---|
242 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
243 | subtract_with_carry& lcg) |
---|
244 | { |
---|
245 | return is >> lcg.m_gen; |
---|
246 | } |
---|
247 | #endif |
---|
248 | private: |
---|
249 | template <class Gen> |
---|
250 | void init1(Gen& g, const ::boost::true_type&) |
---|
251 | { |
---|
252 | m_gen = g.m_gen; |
---|
253 | } |
---|
254 | template <class Gen> |
---|
255 | void init1(Gen& g, const ::boost::false_type&) |
---|
256 | { |
---|
257 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
258 | } |
---|
259 | template <class Gen> |
---|
260 | void init2(Gen& g, const ::boost::true_type&) |
---|
261 | { |
---|
262 | m_gen.seed(static_cast<unsigned long>(g == 0 ? 19780503UL : g)); |
---|
263 | } |
---|
264 | template <class Gen> |
---|
265 | void init2(Gen& g, const ::boost::false_type&) |
---|
266 | { |
---|
267 | m_gen.seed(g); |
---|
268 | } |
---|
269 | ::boost::random::subtract_with_carry<IntType, m, s, r, 0> m_gen; |
---|
270 | }; |
---|
271 | |
---|
272 | template<class RealType, int w, int s, int r> |
---|
273 | class subtract_with_carry_01 |
---|
274 | { |
---|
275 | public: |
---|
276 | // types |
---|
277 | typedef RealType result_type; |
---|
278 | // parameter values |
---|
279 | BOOST_STATIC_CONSTANT(int, word_size = w); |
---|
280 | BOOST_STATIC_CONSTANT(int, long_lag = r); |
---|
281 | BOOST_STATIC_CONSTANT(int, short_lag = s); |
---|
282 | |
---|
283 | // constructors and member function |
---|
284 | subtract_with_carry_01(){} |
---|
285 | explicit subtract_with_carry_01(unsigned long value) |
---|
286 | : m_gen(value == 0 ? 19780503UL : value){} |
---|
287 | template<class Gen> subtract_with_carry_01(Gen& g) |
---|
288 | { init1(g, ::boost::is_same<Gen, subtract_with_carry_01<RealType, w, s, r> >()); } |
---|
289 | void seed(unsigned long value = 19780503UL) |
---|
290 | { m_gen.seed(value == 0 ? 19780503UL : value); } |
---|
291 | template<class Gen> void seed(Gen& g) |
---|
292 | { init2(g, ::boost::is_fundamental<Gen>()); } |
---|
293 | result_type min BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
294 | { return (m_gen.min)(); } |
---|
295 | result_type max BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
296 | { return (m_gen.max)(); } |
---|
297 | result_type operator()() |
---|
298 | { return m_gen(); } |
---|
299 | bool operator==(const subtract_with_carry_01& that)const |
---|
300 | { return m_gen == that.m_gen; } |
---|
301 | bool operator!=(const subtract_with_carry_01& that)const |
---|
302 | { return m_gen != that.m_gen; } |
---|
303 | |
---|
304 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
305 | template<class CharT, class Traits> |
---|
306 | friend std::basic_ostream<CharT,Traits>& |
---|
307 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
308 | const subtract_with_carry_01& lcg) |
---|
309 | { |
---|
310 | return os << lcg.m_gen; |
---|
311 | } |
---|
312 | |
---|
313 | template<class CharT, class Traits> |
---|
314 | friend std::basic_istream<CharT,Traits>& |
---|
315 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
316 | subtract_with_carry_01& lcg) |
---|
317 | { |
---|
318 | return is >> lcg.m_gen; |
---|
319 | } |
---|
320 | #endif |
---|
321 | private: |
---|
322 | template <class Gen> |
---|
323 | void init1(Gen& g, const ::boost::true_type&) |
---|
324 | { |
---|
325 | m_gen = g.m_gen; |
---|
326 | } |
---|
327 | template <class Gen> |
---|
328 | void init1(Gen& g, const ::boost::false_type&) |
---|
329 | { |
---|
330 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
331 | } |
---|
332 | template <class Gen> |
---|
333 | void init2(Gen& g, const ::boost::true_type&) |
---|
334 | { |
---|
335 | m_gen.seed(static_cast<unsigned long>(g == 0 ? 19780503UL : g)); |
---|
336 | } |
---|
337 | template <class Gen> |
---|
338 | void init2(Gen& g, const ::boost::false_type&) |
---|
339 | { |
---|
340 | //typedef typename Gen::result_type gen_rt; |
---|
341 | boost::tr1_details::functor2iterator<Gen, unsigned long> f1(g), f2; |
---|
342 | m_gen.seed(f1, f2); |
---|
343 | } |
---|
344 | ::boost::random::subtract_with_carry_01<RealType, w, s, r, 0> m_gen; |
---|
345 | }; |
---|
346 | |
---|
347 | using ::boost::random::discard_block; |
---|
348 | |
---|
349 | template<class UniformRandomNumberGenerator1, int s1, class UniformRandomNumberGenerator2, int s2> |
---|
350 | class xor_combine |
---|
351 | { |
---|
352 | public: |
---|
353 | // types |
---|
354 | typedef UniformRandomNumberGenerator1 base1_type; |
---|
355 | typedef UniformRandomNumberGenerator2 base2_type; |
---|
356 | typedef unsigned long result_type; |
---|
357 | // parameter values |
---|
358 | BOOST_STATIC_CONSTANT(int, shift1 = s1); |
---|
359 | BOOST_STATIC_CONSTANT(int, shift2 = s2); |
---|
360 | // constructors and member function |
---|
361 | xor_combine(){ init_minmax(); } |
---|
362 | xor_combine(const base1_type & rng1, const base2_type & rng2) |
---|
363 | : m_b1(rng1), m_b2(rng2) { init_minmax(); } |
---|
364 | xor_combine(unsigned long s) |
---|
365 | : m_b1(s), m_b2(s+1) { init_minmax(); } |
---|
366 | template<class Gen> xor_combine(Gen& g) |
---|
367 | { |
---|
368 | init_minmax(); |
---|
369 | init1(g, ::boost::is_same<Gen, xor_combine<UniformRandomNumberGenerator1, s1, UniformRandomNumberGenerator2, s2> >()); |
---|
370 | } |
---|
371 | void seed() |
---|
372 | { |
---|
373 | m_b1.seed(); |
---|
374 | m_b2.seed(); |
---|
375 | } |
---|
376 | void seed(unsigned long s) |
---|
377 | { |
---|
378 | m_b1.seed(s); |
---|
379 | m_b2.seed(s+1); |
---|
380 | } |
---|
381 | template<class Gen> void seed(Gen& g) |
---|
382 | { |
---|
383 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
384 | } |
---|
385 | |
---|
386 | const base1_type& base1() const |
---|
387 | { return m_b1; } |
---|
388 | const base2_type& base2() const |
---|
389 | { return m_b2; } |
---|
390 | result_type min BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
391 | { return m_min; } |
---|
392 | result_type max BOOST_PREVENT_MACRO_SUBSTITUTION() const |
---|
393 | { return m_max; } |
---|
394 | result_type operator()() |
---|
395 | { return (m_b1() << s1) ^ (m_b2() << s2); } |
---|
396 | |
---|
397 | bool operator == (const xor_combine& that)const |
---|
398 | { return (m_b1 == that.m_b1) && (m_b2 == that.m_b2); } |
---|
399 | bool operator != (const xor_combine& that)const |
---|
400 | { return !(*this == that); } |
---|
401 | |
---|
402 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
403 | template<class CharT, class Traits> |
---|
404 | friend std::basic_ostream<CharT,Traits>& |
---|
405 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
406 | const xor_combine& lcg) |
---|
407 | { |
---|
408 | return os << lcg.m_b1 << " " << lcg.m_b2; |
---|
409 | } |
---|
410 | |
---|
411 | template<class CharT, class Traits> |
---|
412 | friend std::basic_istream<CharT,Traits>& |
---|
413 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
414 | xor_combine& lcg) |
---|
415 | { |
---|
416 | return is >> lcg.m_b1 >> lcg.m_b2; |
---|
417 | } |
---|
418 | #endif |
---|
419 | |
---|
420 | private: |
---|
421 | void init_minmax(); |
---|
422 | base1_type m_b1; |
---|
423 | base2_type m_b2; |
---|
424 | result_type m_min; |
---|
425 | result_type m_max; |
---|
426 | |
---|
427 | template <class Gen> |
---|
428 | void init1(Gen& g, const ::boost::true_type&) |
---|
429 | { |
---|
430 | m_b1 = g.m_b1; |
---|
431 | m_b2 = g.m_b2; |
---|
432 | } |
---|
433 | template <class Gen> |
---|
434 | void init1(Gen& g, const ::boost::false_type&) |
---|
435 | { |
---|
436 | init2(g, ::boost::is_fundamental<Gen>()); |
---|
437 | } |
---|
438 | template <class Gen> |
---|
439 | void init2(Gen& g, const ::boost::true_type&) |
---|
440 | { |
---|
441 | m_b1.seed(static_cast<unsigned long>(g)); |
---|
442 | m_b2.seed(static_cast<unsigned long>(g)); |
---|
443 | } |
---|
444 | template <class Gen> |
---|
445 | void init2(Gen& g, const ::boost::false_type&) |
---|
446 | { |
---|
447 | m_b1.seed(g); |
---|
448 | m_b2.seed(g); |
---|
449 | } |
---|
450 | }; |
---|
451 | |
---|
452 | template<class UniformRandomNumberGenerator1, int s1, class UniformRandomNumberGenerator2, int s2> |
---|
453 | void xor_combine<UniformRandomNumberGenerator1, s1, UniformRandomNumberGenerator2, s2>::init_minmax() |
---|
454 | { |
---|
455 | // |
---|
456 | // The following code is based on that given in "Hacker's Delight" |
---|
457 | // by Henry S. Warren, (Addison-Wesley, 2003), and at |
---|
458 | // http://www.hackersdelight.org/index.htm. |
---|
459 | // Used here by permission. |
---|
460 | // |
---|
461 | // calculation of minimum value: |
---|
462 | // |
---|
463 | result_type a = (m_b1.min)() << s1; |
---|
464 | result_type b = (m_b1.max)() << s1; |
---|
465 | result_type c = (m_b2.min)() << s2; |
---|
466 | result_type d = (m_b2.max)() << s2; |
---|
467 | result_type m, temp; |
---|
468 | |
---|
469 | m = 0x1uL << ((sizeof(result_type) * CHAR_BIT) - 1); |
---|
470 | while (m != 0) { |
---|
471 | if (~a & c & m) { |
---|
472 | temp = (a | m) & (static_cast<result_type>(0u) - m); |
---|
473 | if (temp <= b) a = temp; |
---|
474 | } |
---|
475 | else if (a & ~c & m) { |
---|
476 | temp = (c | m) & (static_cast<result_type>(0u) - m); |
---|
477 | if (temp <= d) c = temp; |
---|
478 | } |
---|
479 | m >>= 1; |
---|
480 | } |
---|
481 | m_min = a ^ c; |
---|
482 | |
---|
483 | // |
---|
484 | // calculation of maximum value: |
---|
485 | // |
---|
486 | if((((std::numeric_limits<result_type>::max)() >> s1) < (m_b1.max)()) |
---|
487 | || ((((std::numeric_limits<result_type>::max)()) >> s2) < (m_b2.max)())) |
---|
488 | { |
---|
489 | m_max = (std::numeric_limits<result_type>::max)(); |
---|
490 | return; |
---|
491 | } |
---|
492 | a = (m_b1.min)() << s1; |
---|
493 | b = (m_b1.max)() << s1; |
---|
494 | c = (m_b2.min)() << s2; |
---|
495 | d = (m_b2.max)() << s2; |
---|
496 | |
---|
497 | m = 0x1uL << ((sizeof(result_type) * CHAR_BIT) - 1); |
---|
498 | |
---|
499 | while (m != 0) { |
---|
500 | if (b & d & m) { |
---|
501 | temp = (b - m) | (m - 1); |
---|
502 | if (temp >= a) b = temp; |
---|
503 | else { |
---|
504 | temp = (d - m) | (m - 1); |
---|
505 | if (temp >= c) d = temp; |
---|
506 | } |
---|
507 | } |
---|
508 | m = m >> 1; |
---|
509 | } |
---|
510 | m_max = b ^ d; |
---|
511 | } |
---|
512 | |
---|
513 | typedef linear_congruential< ::boost::int32_t, 16807, 0, 2147483647> minstd_rand0; |
---|
514 | typedef linear_congruential< ::boost::int32_t, 48271, 0, 2147483647> minstd_rand; |
---|
515 | typedef mersenne_twister< ::boost::uint32_t, 32,624,397,31,0x9908b0df,11,7,0x9d2c5680,15,0xefc60000,18> mt19937; |
---|
516 | typedef subtract_with_carry_01<float, 24, 10, 24> ranlux_base_01; |
---|
517 | typedef subtract_with_carry_01<double, 48, 10, 24> ranlux64_base_01; |
---|
518 | typedef discard_block<subtract_with_carry< ::boost::int32_t, (1<<24), 10, 24>, 223, 24> ranlux3; |
---|
519 | typedef discard_block<subtract_with_carry< ::boost::int32_t, (1<<24), 10, 24>, 389, 24> ranlux4; |
---|
520 | typedef discard_block<subtract_with_carry_01<float, 24, 10, 24>, 223, 24> ranlux3_01; |
---|
521 | typedef discard_block<subtract_with_carry_01<float, 24, 10, 24>, 389, 24> ranlux4_01; |
---|
522 | |
---|
523 | #ifndef __SUNPRO_CC |
---|
524 | using ::boost::random_device; |
---|
525 | #endif |
---|
526 | using ::boost::uniform_int; |
---|
527 | |
---|
528 | class bernoulli_distribution |
---|
529 | { |
---|
530 | public: |
---|
531 | // types |
---|
532 | typedef int input_type; |
---|
533 | typedef bool result_type; |
---|
534 | // constructors and member function |
---|
535 | explicit bernoulli_distribution(double p = 0.5) |
---|
536 | : m_dist(p){} |
---|
537 | double p() const |
---|
538 | { return m_dist.p(); } |
---|
539 | void reset() |
---|
540 | { m_dist.reset(); } |
---|
541 | template<class UniformRandomNumberGenerator> |
---|
542 | result_type operator()(UniformRandomNumberGenerator& urng) |
---|
543 | { |
---|
544 | return m_dist(urng); |
---|
545 | } |
---|
546 | #if !defined(BOOST_NO_MEMBER_TEMPLATE_FRIENDS) && !BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551)) |
---|
547 | template<class CharT, class Traits> |
---|
548 | friend std::basic_ostream<CharT,Traits>& |
---|
549 | operator<<(std::basic_ostream<CharT,Traits>& os, |
---|
550 | const bernoulli_distribution& lcg) |
---|
551 | { |
---|
552 | return os << lcg.m_dist; |
---|
553 | } |
---|
554 | |
---|
555 | template<class CharT, class Traits> |
---|
556 | friend std::basic_istream<CharT,Traits>& |
---|
557 | operator>>(std::basic_istream<CharT,Traits>& is, |
---|
558 | bernoulli_distribution& lcg) |
---|
559 | { |
---|
560 | return is >> lcg.m_dist; |
---|
561 | } |
---|
562 | #endif |
---|
563 | |
---|
564 | private: |
---|
565 | ::boost::bernoulli_distribution<double> m_dist; |
---|
566 | }; |
---|
567 | //using ::boost::bernoulli_distribution; |
---|
568 | using ::boost::geometric_distribution; |
---|
569 | using ::boost::poisson_distribution; |
---|
570 | using ::boost::binomial_distribution; |
---|
571 | using ::boost::uniform_real; |
---|
572 | using ::boost::exponential_distribution; |
---|
573 | using ::boost::normal_distribution; |
---|
574 | using ::boost::gamma_distribution; |
---|
575 | |
---|
576 | } } |
---|
577 | |
---|
578 | #endif |
---|
579 | |
---|
580 | #endif |
---|
581 | |
---|