1 instantiation of BDDRangeConverter
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (1)
35
var rc = new
BDDRangeConverter
();
2 references to BDDRangeConverter
System.Text.RegularExpressions (2)
System\Text\RegularExpressions\Symbolic\BDDRangeConverter.cs (1)
35
var
rc = new BDDRangeConverter();
System\Text\RegularExpressions\Symbolic\MintermClassifier.cs (1)
59
(uint, uint)[] ranges =
BDDRangeConverter
.ToRanges(minterms[mintermId]);