verif_ehrhart.h

   1 #include <gmp.h>
   2 #include <NTL/mat_ZZ.h>
   3 extern "C" {
   4 #include <polylib/polylibgmp.h>
   5 #include <barvinok/evalue.h>
   6
   7 /* define this to print all the results */
   8 /* else, only a progress bar is printed */
   9 /* #define PRINT_ALL_RESULTS     */
  10 /* define this to continue the test after first error found */
  11 /* #define DONT_BREAK_ON_ERROR */
  12
  13 extern Value Min, Max;
  14
  15 extern char **params;
  16
  17 #ifdef DONT_BREAK_ON_ERROR
  18 #define PRINT_ALL_RESULTS
  19 #endif
  20
  21 #ifndef PRINT_ALL_RESULTS
  22 extern int st;
  23 #endif
  24
  25 int check_poly(Polyhedron *S,Polyhedron *C,Enumeration *en,
  26                int nparam,int pos,Value *z);
  27 }