Deprecated List

Member CGAL::default_random

The variable default_random was the default random numbers generator used for the generator functions and classes. Deprecated. Use get_default_random() instead.