Searched refs:y_cs_i (Results 1 – 1 of 1) sorted by relevance
2002 const Constraint& y_cs_i = y_cs[i]; in BHZ09_NNC_poly_hull_assign_if_exact() local2003 PPL_ASSERT(y_cs_i.is_strict_inequality()); in BHZ09_NNC_poly_hull_assign_if_exact()2005 const Constraint eq_i(Linear_Expression(y_cs_i.expression()) == 0); in BHZ09_NNC_poly_hull_assign_if_exact()2126 const Constraint& y_cs_i = y_cs[i]; in BFT00_poly_hull_assign_if_exact() local2127 if (x.relation_with(y_cs_i).implies(Poly_Con_Relation::is_included())) { in BFT00_poly_hull_assign_if_exact()2130 else if (y_cs_i.is_equality()) { in BFT00_poly_hull_assign_if_exact()