public void AddTarget(char ch, Dfa next)
{
for (int index = 0; index < this.m_arcs.Count; ++index)
{
Arc arc = (Arc)this.m_arcs[index];
if (arc.Match(ch))
{
next.AddNfaNode(arc.m_next);
}
}
}
