1 instantiation of UInt64Solver
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexRunnerFactory.cs (1)
44
SymbolicRegexMatcher<ulong>.Create(regexTree.CaptureCount, regexTree.FindOptimizations, bddBuilder, rootNode, new
UInt64Solver
(minterms), matchTimeout);
3 references to UInt64Solver
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}");
184
_mintermClassifier = builder._solver is
UInt64Solver
bv64 ?