#include "Checked_Number.defs.hh"

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
Typedefs | |
| typedef PPL_COEFFICIENT_TYPE | Parma_Polyhedra_Library::Coefficient |
| An alias for easily naming the type of PPL coefficients. | |
| typedef Coefficient_traits_template < Coefficient > | Parma_Polyhedra_Library::Coefficient_traits |
| An alias for easily naming the coefficient traits. | |
1.6.3