Home
last modified time | relevance | path

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

/dports/devel/ppl/ppl-1.2/src/
H A DPolyhedron_nonpublic.cc1830 Bit_Row y_cs_condition_3; in BHZ09_NNC_poly_hull_assign_if_exact() local
1848 y_cs_condition_3.set(i); in BHZ09_NNC_poly_hull_assign_if_exact()
1864 if (x_cs_condition_3.empty() && y_cs_condition_3.empty()) { in BHZ09_NNC_poly_hull_assign_if_exact()
2000 for (dimension_type i = y_cs_condition_3.first(); in BHZ09_NNC_poly_hull_assign_if_exact()
2001 i != C_Integer<unsigned long>::max; i = y_cs_condition_3.next(i)) { in BHZ09_NNC_poly_hull_assign_if_exact()