dpoly: add some documentation
[barvinok.git] / verif_ehrhart.h
blob6dcfc939c922c53b9572983fad83c41ad6552449
1 #if defined(__cplusplus)
2 extern "C" {
3 #endif
5 #include <barvinok/evalue.h>
7 /* define this to continue the test after first error found */
8 /* #define DONT_BREAK_ON_ERROR */
10 extern Value Min, Max;
12 extern char **params;
14 extern int st;
16 int check_poly(Polyhedron *S,Polyhedron *C,Enumeration *en,
17 int nparam, int pos, Value *z, int print_all);
18 #if defined(__cplusplus)
20 #endif