Searched refs:y_gs_i (Results 1 – 1 of 1) sorted by relevance
1705 const Generator& y_gs_i = y_gs[i]; in BHZ09_NNC_poly_hull_assign_if_exact() local1706 if (y_gs_i.is_closure_point()) { in BHZ09_NNC_poly_hull_assign_if_exact()1709 if (x.relation_with(y_gs_i).implies(Poly_Gen_Relation::subsumes())) { in BHZ09_NNC_poly_hull_assign_if_exact()1714 if (y_gs_i.is_point()) { in BHZ09_NNC_poly_hull_assign_if_exact()