@uml
Currently this is only used when we detect SLL conflict; this does
not necessarily represent the ambiguous alternatives. In fact,
I should also point out that this seems to include predicated alternatives
that have predicates that evaluate to false. Computed in computeTargetState().
@uml Currently this is only used when we detect SLL conflict; this does not necessarily represent the ambiguous alternatives. In fact, I should also point out that this seems to include predicated alternatives that have predicates that evaluate to false. Computed in computeTargetState().