Searched refs:row_union (Results 1 – 1 of 1) sorted by relevance
1630 Bit_Row row_union; in BHZ09_C_poly_hull_assign_if_exact() local1635 row_union.union_assign(x_gs_red_in_y, x_sat[i]); in BHZ09_C_poly_hull_assign_if_exact()1636 if (row_union != all_ones) { in BHZ09_C_poly_hull_assign_if_exact()