Searched refs:GetCurrentSeed (Results 1 – 3 of 3) sorted by relevance
54 EmulationManager.Instance.CurrentEmulation.RandomGenerator.GetCurrentSeed() + 1 in Reseed()
39 public int GetCurrentSeed() in GetCurrentSeed() method in Antmicro.Renode.Core.PseudorandomNumberGenerator
272 return RandomGenerator.GetCurrentSeed(); in GetSeed()