Searched refs:luckyTicket (Results 1 – 1 of 1) sorted by relevance
372 int luckyTicket = rng.nextInt(tickets); in getNumberOfMutationsToPerform() local390 - (31 - Integer.numberOfLeadingZeros(luckyTicket + 1)); in getNumberOfMutationsToPerform()