public bool Contains(NFAState s) { return(states.Contains(s)); }
public void AddEdgeTo(NFAState target) { lead.Add(new NFAEdge(target)); }