Esempio n. 1
0
 private void AppendChoice(StringBuilder builder, dk.brics.automaton.Transition transition)
 {
     var c = (char)GetRandomInt(transition.getMin(), transition.getMax(), random);
     builder.Append(c);
 }