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