Searched refs:uuid_gen2 (Results 1 – 6 of 6) sorted by relevance
87 basic_random_generator<boost::rand48> uuid_gen2; in main() local88 check_random_generator(uuid_gen2); in main()108 random_generator uuid_gen2(boost::move(uuid_gen1)); in main() local109 boost::ignore_unused(uuid_gen2); in main()113 basic_random_generator<boost::rand48> uuid_gen2(boost::move(uuid_gen1)); in main() local114 boost::ignore_unused(uuid_gen2); in main()119 random_generator uuid_gen1, uuid_gen2; in main() local120 uuid_gen2 = boost::move(uuid_gen1); in main()121 boost::ignore_unused(uuid_gen2); in main()124 basic_random_generator<boost::rand48> uuid_gen1, uuid_gen2; in main() local[all …]
118 basic_random_generator<boost::rand48> uuid_gen2; in test_main() local119 check_random_generator(uuid_gen2); in test_main()
13 boost::uuids::random_generator uuid_gen1, uuid_gen2; in main() local14 uuid_gen2 = uuid_gen1; in main()
14 boost::uuids::basic_random_generator<boost::rand48> uuid_gen1, uuid_gen2; in main() local15 uuid_gen2 = uuid_gen1; in main()
14 boost::uuids::random_generator uuid_gen2(uuid_gen1); in main() local
15 boost::uuids::basic_random_generator<boost::rand48> uuid_gen2(uuid_gen1); in main() local