verify_series.h

   1 #include <barvinok/evalue.h>
   2 #include "skewed_genfun.h"
   3 #include "verify.h"
   4
   5 int check_poly_gf(Polyhedron *S, Polyhedron *CS, skewed_gen_fun *gf,
   6                     int exist, int nparam, int pos, Value *z,
   7                     const struct verify_options *options);