Searched refs:y_gs_condition_3 (Results 1 – 1 of 1) sorted by relevance
1831 Bit_Row y_gs_condition_3; in BHZ09_NNC_poly_hull_assign_if_exact() local1850 y_gs_condition_3.union_assign(y_gs_condition_3, tmp_set); in BHZ09_NNC_poly_hull_assign_if_exact()1920 for (dimension_type j = y_gs_condition_3.first(); in BHZ09_NNC_poly_hull_assign_if_exact()1921 j != C_Integer<unsigned long>::max; j = y_gs_condition_3.next(j)) { in BHZ09_NNC_poly_hull_assign_if_exact()1927 y_gs_condition_3.clear(j); in BHZ09_NNC_poly_hull_assign_if_exact()1931 if (y_gs_condition_3.empty()) { in BHZ09_NNC_poly_hull_assign_if_exact()