Searched refs:x_closure_points (Results 1 – 1 of 1) sorted by relevance
1676 Bit_Row x_closure_points; in BHZ09_NNC_poly_hull_assign_if_exact() local1681 x_closure_points.set(i); in BHZ09_NNC_poly_hull_assign_if_exact()1783 tmp_set.intersection_assign(x_closure_points, saturators); in BHZ09_NNC_poly_hull_assign_if_exact()