Searched refs:y_non_points_non_redundant_in_x (Results 1 – 1 of 1) sorted by relevance
1799 Bit_Row y_non_points_non_redundant_in_x; in BHZ09_NNC_poly_hull_assign_if_exact() local1800 y_non_points_non_redundant_in_x in BHZ09_NNC_poly_hull_assign_if_exact()1842 tmp_set.intersection_assign(y_non_points_non_redundant_in_x, saturators); in BHZ09_NNC_poly_hull_assign_if_exact()