Searched refs:y_inters_hyperplane (Results 1 – 1 of 1) sorted by relevance
1991 Polyhedron y_inters_hyperplane(y); in BHZ09_NNC_poly_hull_assign_if_exact() local1992 y_inters_hyperplane.add_constraint(eq_i); in BHZ09_NNC_poly_hull_assign_if_exact()1993 if (!y_inters_hyperplane.contains(ub_inters_hyperplane)) { in BHZ09_NNC_poly_hull_assign_if_exact()