2 instantiations of CharSetSolver
System.Text.RegularExpressions (2)
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
19
var charSetSolver = new
CharSetSolver
();
System\Text\RegularExpressions\Symbolic\UnicodeCategoryRangesGenerator.cs (1)
59
var charSetSolver = new
CharSetSolver
();
27 references to CharSetSolver
System.Text.RegularExpressions (27)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (3)
49
public BitVector ConvertFromBDD(BDD set,
CharSetSolver
solver)
69
public string PrettyPrint(BitVector bv,
CharSetSolver
solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));
71
public BDD ConvertToBDD(BitVector set,
CharSetSolver
solver)
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (4)
78
public BDD ConvertFromBDD(BDD set,
CharSetSolver
_) => set;
80
/// <summary>Returns null, as minterms are not relevant to <see cref="
CharSetSolver
"/>.</summary>
85
public BDD ConvertToBDD(BDD set,
CharSetSolver
_) => set;
100
string ISolver<BDD>.PrettyPrint(BDD characterClass,
CharSetSolver
solver) => PrettyPrint(characterClass);
System\Text\RegularExpressions\Symbolic\ISolver.cs (3)
13
TSet ConvertFromBDD(BDD set,
CharSetSolver
solver);
44
string PrettyPrint(TSet set,
CharSetSolver
solver);
47
BDD ConvertToBDD(TSet set,
CharSetSolver
solver);
System\Text\RegularExpressions\Symbolic\RegexNodeConverter.cs (3)
306
_builder._wordLetterForBoundariesSet = UnicodeCategoryConditions.WordLetterForAnchors((
CharSetSolver
)_builder._solver);
346
var
charSetSolver = (
CharSetSolver
)_builder._solver;
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (2)
19
internal readonly
CharSetSolver
_charSetSolver;
131
internal SymbolicRegexBuilder(ISolver<TSet> solver,
CharSetSolver
charSetSolver)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
153
CharSetSolver
charSetSolver = (
CharSetSolver
)bddBuilder._solver;
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (3)
39
CharSetSolver
charSetSolver = _builder._charSetSolver;
170
static BDD ToBDD(TSet set, ISolver<TSet> solver,
CharSetSolver
charSetSolver) => solver.ConvertToBDD(set, charSetSolver);
174
static char ChooseChar(Random random, BDD bdd, BDD ascii,
CharSetSolver
charSetSolver)
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
19
var
charSetSolver = new CharSetSolver();
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (3)
61
public ulong ConvertFromBDD(BDD set,
CharSetSolver
solver)
94
public string PrettyPrint(ulong bv,
CharSetSolver
solver) => solver.PrettyPrint(ConvertToBDD(bv, solver));
96
public BDD ConvertToBDD(ulong set,
CharSetSolver
solver)
System\Text\RegularExpressions\Symbolic\UnicodeCategoryConditions.cs (2)
48
public static BDD WordLetter(
CharSetSolver
solver) =>
70
public static BDD WordLetterForAnchors(
CharSetSolver
solver) =>
System\Text\RegularExpressions\Symbolic\UnicodeCategoryRangesGenerator.cs (1)
59
var
charSetSolver = new CharSetSolver();