Searched refs:ub_cs (Results 1 – 1 of 1) sorted by relevance
1941 const Constraint_System& ub_cs = ub.constraints(); in BHZ09_NNC_poly_hull_assign_if_exact() local1942 for (dimension_type i = ub_cs.num_rows(); i-- > 0; ) { in BHZ09_NNC_poly_hull_assign_if_exact()1943 if (ub_cs[i].is_strict_inequality()) { in BHZ09_NNC_poly_hull_assign_if_exact()1944 const Constraint& ub_c = ub_cs[i]; in BHZ09_NNC_poly_hull_assign_if_exact()