/// <summary>
/// Reset the random number generator
/// </summary>
protected virtual void internal_reset()
{
Rnd.resetStartStream();
}
/// <summary>
/// Reset the random number generator
/// </summary>
protected virtual void internal_reset()
{
Rnd.resetStartStream();
}