Searched refs:randomAlt (Results 1 – 1 of 1) sorted by relevance
117 int randomAlt = random.nextInt(n) + 1; in randomPhrase() local118 if ( debug ) System.out.println("randomAlt="+randomAlt); in randomPhrase()120 g.getNFAStateForAltOfDecision(state, randomAlt); in randomPhrase()