As far as I can tell, there currently is no plan to provide users with access to saturation matrices and others low level implementation details. However, provided you have some knowledge of the internal mechanism of PPL, you can easily get access to them by disabling access control (e.g., using configuration option --with-cxxflags='-fno-access-control'). Just make sure to access the matrices when their content is up-to-date; for instance, check predicate

  bool sat_c_is_up_to_date() const;

Feel free to recontact us in case you need further help.

Enea.

On 08/06/2018 16:42, Lovis Anderson wrote:

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



_______________________________________________
PPL-devel mailing list
PPL-devel@cs.unipr.it
http://www.cs.unipr.it/mailman/listinfo/ppl-devel