1 instantiation of CharSetSolver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
19var charSetSolver = new CharSetSolver();
15 references to CharSetSolver
System.Text.RegularExpressions (15)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
49public BitVector ConvertFromBDD(BDD set, CharSetSolver solver)
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (2)
69public BDD ConvertFromBDD(BDD set, CharSetSolver _) => set; 71/// <summary>Returns null, as minterms are not relevant to <see cref="CharSetSolver"/>.</summary>
System\Text\RegularExpressions\Symbolic\ISolver.cs (1)
13TSet ConvertFromBDD(BDD set, CharSetSolver solver);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (3)
306_builder._wordLetterForBoundariesSet = UnicodeCategoryConditions.WordLetterForAnchors((CharSetSolver)_builder._solver); 346var charSetSolver = (CharSetSolver)_builder._solver;
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (2)
19internal readonly CharSetSolver _charSetSolver; 122internal SymbolicRegexBuilder(ISolver<TSet> solver, CharSetSolver charSetSolver)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
153CharSetSolver charSetSolver = (CharSetSolver)bddBuilder._solver;
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
19var charSetSolver = new CharSetSolver();
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
61public ulong ConvertFromBDD(BDD set, CharSetSolver solver)
System\Text\RegularExpressions\Symbolic\UnicodeCategoryConditions.cs (2)
46public static BDD WordLetter(CharSetSolver solver) => 68public static BDD WordLetterForAnchors(CharSetSolver solver) =>