public virtual void ReportNonLLStarDecision( DFA dfa )
{
/*
[email protected]("non-LL(*) DFA "+dfa.decisionNumber+", alts: "+
dfa.recursiveAltSet.toList());
*/
_nonLLStarDecision = true;
dfa.Nfa.Grammar.numNonLLStar++;
_altsWithProblem.UnionWith( dfa.RecursiveAltSet.ToList() );
}