// helper for building DFa public void AddTarget(char ch, Dfa next) { for (int j = 0; j < m_arcs.Count; j++) { Arc a = (Arc)m_arcs[j]; if (a.Match(ch)) { next.AddNfaNode(a.m_next); } } }
// helper for building DFa /// <exclude/> public void AddTarget(char ch, Dfa next) { for (int j=0; j<m_arcs.Count; j++) { Arc a = (Arc)m_arcs[j]; if (a.Match(ch)) next.AddNfaNode(a.m_next); } }