28 #ifndef WEBSOCKETPP_COMMON_RANDOM_DEVICE_HPP
29 #define WEBSOCKETPP_COMMON_RANDOM_DEVICE_HPP
31 #include <websocketpp/common/cpp11.hpp>
36 #if defined _WEBSOCKETPP_CPP11_INTERNAL_ && !defined _WEBSOCKETPP_NO_CPP11_RANDOM_DEVICE_
37 #ifndef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_
38 #define _WEBSOCKETPP_CPP11_RANDOM_DEVICE_
45 #if defined(_MSC_VER) && _MSC_VER >= 1600
&& !defined _WEBSOCKETPP_NO_CPP11_MEMORY_
46 #ifndef _WEBSOCKETPP_CPP11_MEMORY_
47 #define _WEBSOCKETPP_CPP11_MEMORY_
53 #ifdef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_
56 #include <boost/version.hpp>
58 #if (BOOST_VERSION
/100000
) == 1
&& ((BOOST_VERSION
/100
)%1000
) > 46
59 #include <boost/random/uniform_int_distribution.hpp>
60 #include <boost/random/random_device.hpp>
61 #elif (BOOST_VERSION/100000
) == 1
&& ((BOOST_VERSION/100
)%1000
) >= 43
62 #include <boost/nondet_random.hpp>
68 namespace websocketpp {
71 #ifdef _WEBSOCKETPP_CPP11_RANDOM_DEVICE_
72 using std::random_device;
73 using std::uniform_int_distribution;
75 using boost::random::random_device;
76 using boost::random::uniform_int_distribution;