public void start_fixture() { CultureSetter.SetToPolish(); RandomSource.Reset(); Logger.Info("Dfs with cutoffs"); Logger.Info(INFO_HEADER); }
Reset() { _random.Reset(); }
/// <summary> /// Resets the random number distribution, so that it produces the same random number sequence again. /// </summary> public void Reset() { _random.Reset(); }