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; }