1 instantiation of BitVectorSolver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
43
SymbolicRegexMatcher<BitVector>.Create(regexTree.CaptureCount, regexTree.FindOptimizations, bddBuilder, rootNode, new
BitVectorSolver
(minterms), matchTimeout) :
3 references to BitVectorSolver
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.cs (3)
137
/// Both solvers supported here, <see cref="UInt64Solver"/> and <see cref="
BitVectorSolver
"/> are thread safe.
171
Debug.Assert(builder._solver is UInt64Solver or
BitVectorSolver
, $"Unsupported solver: {builder._solver}");
186
((
BitVectorSolver
)(object)builder._solver)._classifier;