1 instantiation of BDDRangeConverter
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (1)
35
var rc = new
BDDRangeConverter
();
4 references to BDDRangeConverter
System.Text.RegularExpressions (4)
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (1)
35
var
rc = new BDDRangeConverter();
System\Text\RegularExpressions\Symbolic\CharSetSolver.cs (1)
148
foreach ((uint, uint) range in
BDDRangeConverter
.ToRanges(set))
System\Text\RegularExpressions\Symbolic\MintermClassifier.cs (1)
59
(uint, uint)[] ranges =
BDDRangeConverter
.ToRanges(minterms[mintermId]);
System\Text\RegularExpressions\Symbolic\SymbolicRegexMatcher.Sample.cs (1)
179
(uint, uint) range = Choose(random,
BDDRangeConverter
.ToRanges(bdd1.IsEmpty ? bdd : bdd1));