00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 #ifndef PPL_Coefficient_defs_hh
00025 #define PPL_Coefficient_defs_hh 1
00026
00027 #include "Coefficient.types.hh"
00028 #include <iosfwd>
00029
00030 #if defined(PPL_CHECKED_INTEGERS) || defined(PPL_NATIVE_INTEGERS)
00031 #include "Checked_Number.defs.hh"
00032 #include "checked_int.inlines.hh"
00033 #endif
00034
00035 #ifdef PPL_GMP_INTEGERS
00036 #include "GMP_Integer.defs.hh"
00037 #endif
00038
00039 namespace Parma_Polyhedra_Library {
00040
00041 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00042
00043 #endif
00044 void Coefficient_constants_initialize();
00045
00046 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00047
00048 #endif
00049 void Coefficient_constants_finalize();
00050
00052 Coefficient_traits::const_reference Coefficient_zero();
00053
00055 Coefficient_traits::const_reference Coefficient_one();
00056
00057 }
00058
00059 #include "Coefficient.inlines.hh"
00060
00061 #endif // !defined(PPL_Coefficient_defs_hh)