private IScannerTransition MakeScannerTransition(TdfaTransition transition) { var charSet = container.Alphabet.Decode(transition.Symbols); return(new ScannerTransition( charSet.EnumerateIntervals().Select(MakeCharRange), container.GetState(transition.To))); }
private IScannerTransition MakeScannerTransition(TdfaTransition transition) { var charSet = container.Alphabet.Decode(transition.Symbols); return new ScannerTransition( charSet.EnumerateIntervals().Select(MakeCharRange), container.GetState(transition.To)); }