Home
last modified time | relevance | path

Searched refs:x_gs_condition_3 (Results 1 – 1 of 1) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc1763 Bit_Row x_gs_condition_3; in BHZ09_NNC_poly_hull_assign_if_exact() local
1784 x_gs_condition_3.union_assign(x_gs_condition_3, tmp_set); in BHZ09_NNC_poly_hull_assign_if_exact()
1897 for (dimension_type j = x_gs_condition_3.first(); in BHZ09_NNC_poly_hull_assign_if_exact()
1898 j != C_Integer<unsigned long>::max; j = x_gs_condition_3.next(j)) { in BHZ09_NNC_poly_hull_assign_if_exact()
1904 x_gs_condition_3.clear(j); in BHZ09_NNC_poly_hull_assign_if_exact()
1908 if (x_gs_condition_3.empty()) { in BHZ09_NNC_poly_hull_assign_if_exact()