Searched refs:sat_ci (Results 1 – 1 of 1) sorted by relevance
1220 Bit_Row sat_ci; in strongly_minimize_constraints() local1221 sat_ci.union_assign(sat[i], sat_lines_and_closure_points); in strongly_minimize_constraints()1222 if (sat_ci == sat_lines) { in strongly_minimize_constraints()1250 sat_ci.union_assign(sat[i], sat_all_but_points); in strongly_minimize_constraints()1254 && subset_or_equal(sat[j], sat_ci)) { in strongly_minimize_constraints()