#include "Checked_Number.defs.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Defines | |
#define | PPL_Coefficient_types_hh 1 |
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. |
#define PPL_Coefficient_types_hh 1 |
Definition at line 13 of file Coefficient.types.hh.