barvinok_enumerate: make sure the input polyhedra are fully specified.
[barvinok.git] / verif_ehrhart.h
blob3cf95665c6fefe042fb1692938ff06a9da4406ed
1 #include <gmp.h>
2 #include <NTL/mat_ZZ.h>
3 extern "C" {
4 #include <polylib/polylibgmp.h>
5 #include "ev_operations.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);