public Random GetRandom() { if (isDeterministic()) { if (rr == null) { rr = new RandomRedirect(getRandom()); } return(rr); } return(new Random()); }
public Random GetRandom() { if (isDeterministic()) { if (rr == null) { rr = new RandomRedirect(getRandom()); } return rr; } return new Random(); }