PPL
1.2
|
#include "Checked_Number_defs.hh"
Go to the source code of this file.
Namespaces | |
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. More... | |
typedef Coefficient_traits_template< Coefficient > | Parma_Polyhedra_Library::Coefficient_traits |
An alias for easily naming the coefficient traits. More... | |