barvinok_maximize: new tool for maximizing piecewise quasi-polynomial
[barvinok.git] / verif_ehrhart.h
blob7b740b136aee78ac7d1a291e8109d07bde031679
1 #if defined(__cplusplus)
2 extern "C" {
3 #endif
5 #include <barvinok/evalue.h>
6 #include "verify.h"
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);
13 #if defined(__cplusplus)
15 #endif