/** * Returns random generator used by Redberry in current session. * * @return random generator used by Redberry in current session */ public static RandomGenerator getRandomGenerator() { return current().getRandomGenerator(); }
/** * Returns random generator used by Redberry in current session. * * @return random generator used by Redberry in current session */ public static RandomGenerator getRandomGenerator() { return current().getRandomGenerator(); }