\begin{ccRefVariable}{default_random}

\ccDefinition

The variable \ccRefName\ is the default random numbers generator used for
the generator functions and classes.

\ccInclude{CGAL/Random.h}

\ccVariable{Random  default_random;}{}


\end{ccRefVariable}