protected DFAState GetExistingTargetState(DFAState s, int t)
{
if (s.edges == null || t < MIN_DFA_EDGE || t > MAX_DFA_EDGE)
{
return null;
}
DFAState target = s.edges[t - MIN_DFA_EDGE];
if (debug && target != null)
{
Console.WriteLine("reuse state " + s.stateNumber + " edge to " + target.stateNumber);
}
return target;
}