00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013 #ifndef PPL_GMP_Integer_types_hh
00014 #define PPL_GMP_Integer_types_hh 1
00015
00016 #include "Coefficient_traits_template.hh"
00017 #include <gmpxx.h>
00018 #include "mp_std_bits.defs.hh"
00019
00020 namespace Parma_Polyhedra_Library {
00021
00031 typedef mpz_class GMP_Integer;
00032
00033 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00034
00035
00036 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00037 template <>
00038 struct Coefficient_traits_template<GMP_Integer> {
00040 typedef const GMP_Integer& const_reference;
00041 };
00042
00043 }
00044
00045 #endif // !defined(PPL_GMP_Integer_types_hh)