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

        private void ConvertNodeOneloop(RegexNode node)
        {
            //TBD:ignore case
            //bool ignoreCase = ((node._options & RegexOptions.IgnoreCase) != 0);
            char c = node._ch;
            string cond = string.Format("(re-range {0} {0})", EscapeCharSMT(c));
            WriteLoop(cond, node._m, node._n);
        }