1 reference to 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);