public virtual IList<int> GetNonDeterministicAltsForState( DFAState targetState )
{
IEnumerable<int> nondetAlts = targetState.GetNonDeterministicAlts();
if ( nondetAlts == null )
return null;
return nondetAlts.OrderBy( i => i ).ToList();
//HashSet<int> nondetAlts = targetState.getNonDeterministicAlts();
//if ( nondetAlts == null )
//{
// return null;
//}
//List sorted = new LinkedList();
//sorted.addAll( nondetAlts );
//Collections.sort( sorted ); // make sure it's 1, 2, ...
//return sorted;
}