protected internal virtual void AddDFAEdge(DFAState p, int t, DFAState q) { if (p != null) { p.SetTarget(t, q); } }