barvinok.cc: basic_map_card: rename "dim" variable to "space"
[barvinok.git] / initcdd.h
blob69e94415bdd8dd49c50b8c26395b0069fe54304a
1 extern int bv_cdd_initialized;
3 #define INIT_CDD \
4 do { \
5 if (!bv_cdd_initialized) { \
6 dd_set_global_constants(); \
7 bv_cdd_initialized = 1; \
8 } \
9 } while (0)