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_inlines_hh
00024 #define PPL_Coefficient_inlines_hh 1
00025
00026 namespace Parma_Polyhedra_Library {
00027
00028 #if defined(PPL_CHECKED_INTEGERS) || defined(PPL_NATIVE_INTEGERS)
00029 inline Coefficient_traits::const_reference
00030 Coefficient_zero() {
00031
00032 static Coefficient zero(0);
00033 return zero;
00034 }
00035
00036 inline Coefficient_traits::const_reference
00037 Coefficient_one() {
00038
00039 static Coefficient one(1);
00040 return one;
00041 }
00042 #endif
00043
00044 #ifdef PPL_GMP_INTEGERS
00045 inline Coefficient_traits::const_reference
00046 Coefficient_zero() {
00047 extern const Coefficient* Coefficient_zero_p;
00048 return *Coefficient_zero_p;
00049 }
00050
00051 inline Coefficient_traits::const_reference
00052 Coefficient_one() {
00053 extern const Coefficient* Coefficient_one_p;
00054 assert(*Coefficient_one_p != 0);
00055 return *Coefficient_one_p;
00056 }
00057 #endif
00058
00059 }
00060
00061 #endif // !defined(PPL_Coefficient_inlines_hh)