This PR adds foreach_minterm as a member function of cube, which iterates over all minterms contained in the cube. Each minterm is a fully-assigned cube (i.e., all mask bits are 1).
Also,
Removes intersection_is_empty for ternary_truth_table and quaternary_truth_table to solve templating issues
This PR adds
foreach_mintermas a member function ofcube, which iterates over all minterms contained in the cube. Each minterm is a fully-assigned cube (i.e., all mask bits are 1). Also,intersection_is_emptyforternary_truth_tableandquaternary_truth_tableto solve templating issues