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