3 implementations of ISolver
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
7
internal sealed class BitVectorSolver :
ISolver
<BitVector>
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
16
internal sealed class CharSetSolver :
ISolver
<BDD>
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
10
internal sealed class UInt64Solver :
ISolver
<ulong>
14 references to ISolver
System.Text.RegularExpressions (14)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
6
/// <summary>Provides an <see cref="
ISolver
{BitVector}"/> over arbitrary-length bit vectors.</summary>
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (2)
81
BDD[]?
ISolver
<BDD>.GetMinterms() => null;
100
string
ISolver
<BDD>.PrettyPrint(BDD characterClass, CharSetSolver solver) => PrettyPrint(characterClass);
System\Text\RegularExpressions\Symbolic\MatchingState.cs (1)
49
internal bool IsDeadend(
ISolver
<TSet> solver) => Node.IsNothing(solver);
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (2)
28
public static List<TSet> GenerateMinterms(
ISolver
<TSet> solver, HashSet<TSet> sets)
55
internal void Refine(
ISolver
<TSet> solver, TSet other)
System\Text\RegularExpressions\Symbolic\SymbolicRegexBuilder.cs (2)
20
internal readonly
ISolver
<TSet> _solver;
131
internal SymbolicRegexBuilder(
ISolver
<TSet> solver, CharSetSolver charSetSolver)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (2)
139
private
ISolver
<TSet> Solver => _builder._solver;
150
SymbolicRegexBuilder<BDD> bddBuilder, SymbolicRegexNode<BDD> rootBddNode,
ISolver
<TSet> solver,
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
170
static BDD ToBDD(TSet set,
ISolver
<TSet> solver, CharSetSolver charSetSolver) => solver.ConvertToBDD(set, charSetSolver);
System\Text\RegularExpressions\Symbolic\SymbolicRegexNode.cs (2)
335
public bool IsAnyStar(
ISolver
<TSet> solver)
351
public bool IsNothing(
ISolver
<TSet> solver)
System\Text\RegularExpressions\Symbolic\UInt64Solver.cs (1)
9
/// <summary>Provides an <see cref="
ISolver
{Int64}"/> over bit vectors up to 64 bits in length.</summary>