boost/uuid/random_generator.hpp

0001 #ifndef BOOST_UUID_RANDOM_GENERATOR_HPP_INCLUDED
0002 #define BOOST_UUID_RANDOM_GENERATOR_HPP_INCLUDED
0003
0004 // Copyright 2010 Andy Tompkins.
0005 // Copyright 2017 James E. King III
0006 // Copyright 2024 Peter Dimov
0007 // Distributed under the Boost Software License, Version 1.0.
0008 // https://www.boost.org/LICENSE_1_0.txt
0009
0010 #include <boost/uuid/basic_random_generator.hpp>
0011 #include <boost/uuid/detail/random_device.hpp>
0012 #include <boost/uuid/detail/chacha20.hpp>
0013
0014 namespace boost {
0015 namespace uuids {
0016
0017 // the default random generator
0018 class random_generator: public basic_random_generator<detail::chacha20_12>
0019 {
0020 };
0021
0022 // only provided for compatibility with 1.85
0023 using random_generator_mt19937 = basic_random_generator<std::mt19937>;
0024
0025 // only provided for compatibility with 1.85
0026 using random_generator_pure = basic_random_generator<detail::random_device>;
0027
0028 }} // namespace boost::uuids
0029
0030 #endif // BOOST_UUID_RANDOM_GENERATOR_HPP_INCLUDED