1 write to _minterms
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
15
_minterms
= minterms;
1 reference to _minterms
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\BitVectorSolver.cs (1)
51
BDD[] partition =
_minterms
;