private IEnumerable <string> reportDfa(IEnumerable <string> nfaStateIndices = null)
{
if (dfa != null)
{
string rep = dfa.ToString(nfaStateIndices);
if (rep != "")
{
return new string[] { "# " + SingleState <SYMBOL_ENUM, TREE_NODE> .ToStringFormat(), Environment.NewLine, rep }
}
;
}
return(Enumerable.Empty <string>());
}
