Searched refs:x_inters_hyperplane (Results 1 – 1 of 1) sorted by relevance
2010 Polyhedron x_inters_hyperplane(x); in BHZ09_NNC_poly_hull_assign_if_exact() local2011 x_inters_hyperplane.add_constraint(eq_i); in BHZ09_NNC_poly_hull_assign_if_exact()2012 if (!x_inters_hyperplane.contains(ub_inters_hyperplane)) { in BHZ09_NNC_poly_hull_assign_if_exact()