update isl for rename of !isl_set_dim_has_{lower,upper}_bound

[barvinok.git] / verif_ehrhart.h

#if defined(__cplusplus)
extern "C" {
#endif

#include <barvinok/evalue.h>
#include "verify.h"

int check_poly_EP(Polyhedron *S, Polyhedron *CS, evalue *EP, int exist,
               int nparam, int pos, Value *z,
               const struct verify_options *options);

#if defined(__cplusplus)
}
#endif