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));
}