/** Get the transitions of the NFA states on the given character */ public ArrayList<TokenizerNFAState> getNFATransitions(char c) { ArrayList<TokenizerNFAState> trans = new ArrayList<TokenizerNFAState>(); for (TokenizerNFAState s : NFAStates) { trans.addAll(s.getTransitions(c)); } return trans; }