1 reference to ToBDD
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
143
inputSoFar.Append(ChooseChar(random,
ToBDD
(minterm, Solver, charSetSolver), ascii, charSetSolver));