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);
}