The PPL implements the following function:
bool check_containment(const NNC_Polyhedron& ph, const Pointset_Powerset<NNC_Polyhedron>& ps);
It returns true iff ph is contained in the union of the polyhedra in ps.
There also is a variant where the argument polyhedra are topologically closed, but the underlying implementation will anyway resort to using NNC_Polyhedron.
Regards, Enea Zaffanella.
On 01/23/2017 06:59 AM, HazelM wrote:
Hi, I've been trying to merge or perform union on polytopes using poly_hull_assign and upper_bound_assign, but they return poly hull of the resulting polytopes. For my use it would not give accurate results. difference_assign also returns a poly hull. Is there a way that I can find out containment of a polytope in multiple polytopes? Your help would be highly appreciated.
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel