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