update isl to version 0.11
[barvinok.git] / verify_series.h
blob78f6d5a630f0758f77e7bf2ae920ed2395b26e96
1 #include <barvinok/evalue.h>
2 #include "skewed_genfun.h"
3 #include "verify.h"
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);