verif_ehrhart.h

   1 #if defined(__cplusplus)
   2 extern "C" {
   3 #endif
   4
   5 #include <barvinok/evalue.h>
   6 #include "verify.h"
   7
   8 int check_poly_EP(Polyhedron *S, Polyhedron *CS, evalue *EP, int exist,
   9                int nparam, int pos, Value *z,
  10                const struct verify_options *options);
  11
  12 #if defined(__cplusplus)
  13 }
  14 #endif