7 references to CreateBDDFromChar
System.Text.RegularExpressions (7)
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
309upper == lower ? CreateBDDFromChar(lower) :
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (5)
58result.AddLast(_builder.CreateSingleton(_builder._charSetSolver.CreateBDDFromChar(node.Ch))); 62result.AddLast(_builder.CreateSingleton(_builder._solver.Not(_builder._charSetSolver.CreateBDDFromChar(node.Ch)))); 76result.AddLast(_builder.CreateSingleton(_builder._charSetSolver.CreateBDDFromChar(c))); 112BDD bdd = _builder._charSetSolver.CreateBDDFromChar(node.Ch); 296_builder._newLineSet = _builder._charSetSolver.CreateBDDFromChar('\n');
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
46charSetSolver.CreateBDDFromChar('_'),