private static string PrintState(RowRecogNFAStateForge state)
{
if (state is RowRecogNFAStateEndEval) {
return "#" + state.NodeNumNested;
}
return "#" +
state.NodeNumNested +
" " +
state.VariableName +
" s" +
state.StreamNum +
" defined as " +
state;
}
/// <summary>
/// Add a next state.
/// </summary>
/// <param name="next">state to add</param>
public void AddState(RowRecogNFAStateForge next)
{
nextStates.Add(next);
}
