using CGAL::Random everywhere is simpler and definitely enough note we are using CGAL::Random& as in Random_generator_base (see CGAL/generators.h)
using CGAL::Random everywhere is simpler and definitely enough note we are using CGAL::Random& as in Random_generator_base (see CGAL/generators.h)