Searched refs:sat_lines_and_closure_points (Results 1 – 1 of 1) sorted by relevance
1199 sat_lines_and_closure_points(sat_all_but_rays, sat_all_but_points); in strongly_minimize_constraints() local1201 sat_lines(sat_lines_and_rays, sat_lines_and_closure_points); in strongly_minimize_constraints()1221 sat_ci.union_assign(sat[i], sat_lines_and_closure_points); in strongly_minimize_constraints()