Searched refs:sat_all_but_closure_points (Results 1 – 1 of 1) sorted by relevance
1175 Bit_Row sat_all_but_closure_points; in strongly_minimize_constraints() local1188 sat_all_but_closure_points.set(i); in strongly_minimize_constraints()1197 sat_lines_and_rays(sat_all_but_points, sat_all_but_closure_points); in strongly_minimize_constraints()