1 write to _charSetSolver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (1)
125_charSetSolver = charSetSolver;
5 references to _charSetSolver
System.Text.RegularExpressions (5)
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');