|
PPL
1.2
|


Go to the source code of this file.
Classes | |
| struct | Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer > |
| Coefficient traits specialization for unbounded integers. More... | |
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
Typedefs | |
| typedef mpz_class | Parma_Polyhedra_Library::GMP_Integer |