Searched refs:x_gs_red_in_y (Results 1 – 1 of 1) sorted by relevance
1579 Bit_Row x_gs_red_in_y; in BHZ09_C_poly_hull_assign_if_exact() local1583 x_gs_red_in_y.set(i); in BHZ09_C_poly_hull_assign_if_exact()1635 row_union.union_assign(x_gs_red_in_y, x_sat[i]); in BHZ09_C_poly_hull_assign_if_exact()2071 std::vector<bool> x_gs_red_in_y(x_gs_num_rows, false); in BFT00_poly_hull_assign_if_exact() local2075 x_gs_red_in_y[i] = true; in BFT00_poly_hull_assign_if_exact()2144 if (x_gs_red_in_y[i]) { in BFT00_poly_hull_assign_if_exact()