/// <summary> /// Changes the seed of the internal lottery to its default value. /// </summary> public void ChangeSeed() { lottery.ChangeSeed(); }