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

[Enea Zaffanella]

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 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/20180627/3674a22f/attachment.htm>