1 write to _charSetSolver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (1)
134
_charSetSolver
= charSetSolver;
8 references to _charSetSolver
System.Text.RegularExpressions (8)
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.Dgml.cs (1)
201
WebUtility.HtmlEncode(builder._solver.PrettyPrint(label, builder.
_charSetSolver
));
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
39
CharSetSolver charSetSolver = _builder.
_charSetSolver
;
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (1)
1670
sb.Append(_debugBuilder._solver.PrettyPrint(_set, _debugBuilder.
_charSetSolver
));