public void dump(Appendable p) throws IOException { for (NFAState<T> s : this) { for (Set<Transition<NFAState<T>>> set : s.getTransitions()) { for (Transition<NFAState<T>> t : set) p.append(s+"-"+t.getCondition()+">"+t.getTo()).append('\n'); } } }
set.add(state); for (Set<Transition<NFAState<T>>> st : state.getTransitions())