Possibility to read out saturation matrices

[videlec]

moved from gitlab issue #7

It would be nice to read out the saturation matrices Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_c and Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_g of a Polyhedron. These are declared as private attributes at lines 49262-49266 of ppl.h

  //@} // Miscellaneous Member Functions

private:
  static const Representation default_con_sys_repr = DENSE;
  static const Representation default_gen_sys_repr = DENSE;

  //! The system of constraints.
  Constraint_System con_sys;

  //! The system of generators.
  Generator_System gen_sys;

  //! The saturation matrix having constraints on its columns.
  Bit_Matrix sat_c;

  //! The saturation matrix having generators on its columns.
  Bit_Matrix sat_g;

• write fully functional wrappers of Bit_matrix
• private vs public