[PPL-devel] Feature request: Access to saturation matrices

[Lovis Anderson]

Hello,

thank you for your great library. I'm using it a lot. I have a question 
respectively a feature request:

Is there any way to get the facet-vertex incidence structure? I have 
found out that ppl internally computes it and saves it in the private 
class members

 1. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_c
 2. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_g

It would be great to be able to access them.

Thanks in advance

     Lovis Anderson

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180608/d764039f/attachment.htm>