Merge branch 'master' into bernstein
[barvinok.git] / verif_ehrhart.h
blob9ca48fc6e72ea5fd7476f8cb5bdea6052aee6a5f
1 #include <gmp.h>
2 #include <NTL/mat_ZZ.h>
3 extern "C" {
4 #include <polylib/polylibgmp.h>
5 #include <barvinok/evalue.h>
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 */
13 extern Value Min, Max;
15 extern char **params;
17 #ifdef DONT_BREAK_ON_ERROR
18 #define PRINT_ALL_RESULTS
19 #endif
21 #ifndef PRINT_ALL_RESULTS
22 extern int st;
23 #endif
25 int check_poly(Polyhedron *S,Polyhedron *C,Enumeration *en,
26 int nparam,int pos,Value *z);