Esempio n. 1
0
 protected Node create(Digraph result, Nfa<STATE> nfa, STATE state) {
   Node n = new Node(state, stateToString(nfa, state));
   if (state == nfa.getStart() || state == nfa.getStop()) n.setShape("point");
   return n;
 }