/** * Either returns the random generator for the given id or creates if with the given seed it does not yet exit * @param id the id of the random generator * @param seed the seed to use * @return the random generator */ public static Random getOrSeedMapped(int id, long seed){ return factory.ingetOrSeedMapped(id, seed); }
/** * Either returns the random generator for the given String id or creates if with the given seed it does not yet exit * @param id the id of the random generator * @param seed the seed to use * @return the random generator */ public static Random getOrSeedMapped(String id, long seed){ return factory.ingetOrSeedMapped(id, seed); }