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