Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc1674 Bit_Row x_gs_non_redundant_in_y; in BHZ09_NNC_poly_hull_assign_if_exact() local
1686 x_gs_non_redundant_in_y.set(i); in BHZ09_NNC_poly_hull_assign_if_exact()
1726 .difference_assign(x_gs_non_redundant_in_y, in BHZ09_NNC_poly_hull_assign_if_exact()