maximize.cc: deal with unions in input during verification
[barvinok.git] / verif_ehrhart.h
blob669c0c3295b4e53a8bdf847d614b9fb463a3ee3d
1 #if defined(__cplusplus)
2 extern "C" {
3 #endif
5 #include <barvinok/evalue.h>
6 #include "verify.h"
8 int check_poly_EP(Polyhedron *S, Polyhedron *CS, evalue *EP, int exist,
9 int nparam, int pos, Value *z,
10 const struct verify_options *options);
12 #if defined(__cplusplus)
14 #endif