Searched refs:engine12 (Results 1 – 1 of 1) sorted by relevance
121 std::ranlux24_base engine12(time(&t)); in f() local204 std::shuffle_order engine12(dev()); in g() local