verif_ehrhart.h

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