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
00018 namespace Parma_Polyhedra_Library {
00019
00029 typedef mpz_class GMP_Integer;
00030
00031 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00033
00034 #endif // PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00035 template <>
00036 struct Coefficient_traits_template<GMP_Integer> {
00038 typedef const GMP_Integer& const_reference;
00039 };
00040
00041 }
00042
00043 #endif // !defined(PPL_GMP_Integer_types_hh)