1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// The LLVM Compiler Infrastructure 4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open 6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details. 7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <random> 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template<class UIntType, size_t w, size_t s, size_t r> 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// class subtract_with_carry_engine; 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// explicit subtract_with_carry_engine(); 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <random> 18b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert> 19b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid 21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertest1() 22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner std::ranlux24_base e1; 24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner std::ranlux24_base e2(std::ranlux24_base::default_seed); 25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner assert(e1 == e2); 26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner assert(e1() == 15039276); 27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid 30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertest2() 31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner std::ranlux48_base e1; 33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner std::ranlux48_base e2(std::ranlux48_base::default_seed); 34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner assert(e1 == e2); 35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner assert(e1() == 23459059301164ull); 36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 39b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test1(); 41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner test2(); 42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 43