Microsoft.Automata.RegexToSMTConverter.ConvertNodeSet C# (CSharp) Méthode

        private void ConvertNodeSet(RegexNode node)
        {
            var set = automConverter.CreateConditionFromSet(false, node._str);
            var ranges = css.ToRanges(set);
            Write(GetSMTRanges(ranges));
        }