4 references to Refine
System.Text.RegularExpressions (4)
System\Text\RegularExpressions\Symbolic\MintermGenerator.cs (4)
34
tree.
Refine
(solver, set);
59
StackHelper.CallOnEmptyStack(
Refine
, solver, other);
80
_left.
Refine
(solver, other);
81
_right.
Refine
(solver, other);