1 write to _set
System.Text.RegularExpressions (1)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (1)
53
internal PartitionTree(TSet set) =>
_set
= set;
3 references to _set
System.Text.RegularExpressions (3)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (3)
63
TSet thisAndOther = solver.And(
_set
, other);
67
TSet thisMinusOther = solver.And(
_set
, solver.Not(other));
98
leaves.Add(node.
_set
);