[PPL-devel] PPL Containment check in multiple polytopes
Enea Zaffanella
zaffanella at cs.unipr.it
Mon Jan 23 11:02:12 CET 2017
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 at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20170123/6a03d5d6/attachment.htm>
More information about the PPL-devel
mailing list