Exemplo n.º 1
0
 protected void draw(Digraph result, Nfa<STATE> nfa) {
   for (STATE s : new NfaUtil().collect(nfa)) {
     result.add(create(result, nfa, s));
     for (STATE f : nfa.getFollowers(s)) result.add(create(result, nfa, s, f));
   }
 }