test_bound.c: verify_point: use isl_val
[barvinok.git] / euler.h
blob233637f1e0c351de98ea629ac36a46bd9e858e7b
1 #include <barvinok/evalue.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 evalue *euler_summate(Polyhedron *P, evalue *e, unsigned nvar,
10 struct barvinok_options *options);
12 #if defined(__cplusplus)
14 #endif