Searched refs:x_points_non_redundant_in_y_closure (Results 1 – 1 of 1) sorted by relevance
1736 Bit_Row x_points_non_redundant_in_y_closure; in BHZ09_NNC_poly_hull_assign_if_exact() local1748 x_points_non_redundant_in_y_closure.set(i); in BHZ09_NNC_poly_hull_assign_if_exact()1788 tmp_set.intersection_assign(x_points_non_redundant_in_y_closure, in BHZ09_NNC_poly_hull_assign_if_exact()