Searched refs:ub_inters_hyperplane (Results 1 – 1 of 1) sorted by relevance
1989 Polyhedron ub_inters_hyperplane(ub); in BHZ09_NNC_poly_hull_assign_if_exact() local1990 ub_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()2008 Polyhedron ub_inters_hyperplane(ub); in BHZ09_NNC_poly_hull_assign_if_exact() local2009 ub_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()