Searched refs:rnd (Results 1 – 1 of 1) sorted by relevance
34 Random rnd = new Random(123456); in main() local36 int index = rnd.nextInt(buckets); in main()56 int b = rnd.nextInt(a); in main()