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

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