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