verif_ehrhart.c: check lower and upper polynomial approximations
[barvinok.git] / verif_ehrhart.h
blob6c77998f5739b8e134871e2f832c144e6f2adae6
1 #if defined(__cplusplus)
2 extern "C" {
3 #endif
5 #include <barvinok/evalue.h>
6 #include "verify.h"
8 /* define this to continue the test after first error found */
9 /* #define DONT_BREAK_ON_ERROR */
11 int check_poly(Polyhedron *S,Polyhedron *C,Enumeration *en,
12 int nparam, int pos, Value *z, const struct verify_options *options);
13 #if defined(__cplusplus)
15 #endif