00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #include <ppl-config.h>
00024
00025 #include "Coefficient.defs.hh"
00026
00027 namespace Parma_Polyhedra_Library {
00028
00029 #if defined(PPL_CHECKED_INTEGERS) || defined(PPL_NATIVE_INTEGERS)
00030 void
00031 Coefficient_constants_initialize() {
00032 }
00033
00034 void
00035 Coefficient_constants_finalize() {
00036 }
00037 #endif
00038
00039 #ifdef PPL_GMP_INTEGERS
00040 const Coefficient* Coefficient_zero_p = 0;
00041 const Coefficient* Coefficient_one_p = 0;
00042
00043 void
00044 Coefficient_constants_initialize() {
00045 assert(Coefficient_zero_p == 0);
00046 Coefficient_zero_p = new Coefficient(0);
00047
00048 assert(Coefficient_one_p == 0);
00049 Coefficient_one_p = new Coefficient(1);
00050 }
00051
00052 void
00053 Coefficient_constants_finalize() {
00054 assert(Coefficient_zero_p != 0);
00055 delete Coefficient_zero_p;
00056 Coefficient_zero_p = 0;
00057
00058 assert(Coefficient_one_p != 0);
00059 delete Coefficient_one_p;
00060 Coefficient_one_p = 0;
00061 }
00062 #endif
00063
00064 }