2 references to CreateBDDFromRange
System.Text.RegularExpressions (2)
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (1)
366BDD bdd = charSetSolver.CreateBDDFromRange(first, last);
System\Text\RegularExpressions\Symbolic\UnicodeCategoryConditions.cs (1)
70Interlocked.CompareExchange(ref s_wordLetterForAnchors, solver.Or(WordLetter(solver), solver.CreateBDDFromRange('\u200C', '\u200D')), null) ??