public void AddFinalState(State end) { if (_final_states.Contains(end)) { return; } _final_states.Add(end); }
public void AddStartState(State ss) { if (_start_states.Contains(ss)) { return; } _start_states.Add(ss); }