2 references to ReplaceTrue
System.Text.RegularExpressions (2)
System\Text\RegularExpressions\Symbolic\MintermClassifier.cs (2)
47
_nonAscii = solver.
ReplaceTrue
(BDD.True, 0);
60
BDD charToTargetMintermId = solver.
ReplaceTrue
(minterms[i], i);