parker/count_solutions.cc: fix treatment of existentially quantified variables
[barvinok.git] / barvinok / polylib.h
blob0977a6fc427380fd5ae23c5115682a1b64794a66
1 #ifndef BARVINOK_POLYLIB_H
2 #define BARVINOK_POLYLIB_H
4 #include <gmp.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 #include <polylib/polylibgmp.h>
12 #undef divide
13 #undef value_compare
15 #if defined(__cplusplus)
17 #endif
19 #endif