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