barvinok_enumerate.cc: verify_isl: properly handle parameter domains
[barvinok.git] / summate.h
blobdd08ee816f1400d531e548074908d13f663ca34f
1 #include <barvinok/evalue.h>
2 #include "section_array.h"
4 struct barvinok_options;
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 evalue *box_summate(Polyhedron *P, evalue *E, unsigned nvar, unsigned MaxRays);
11 evalue *barvinok_summate_unweighted(Polyhedron *P, Polyhedron *C,
12 struct barvinok_options *options);
13 evalue *barvinok_sum_over_polytope(Polyhedron *P, evalue *E, unsigned nvar,
14 struct evalue_section_array *sections,
15 struct barvinok_options *options);
17 #if defined(__cplusplus)
19 #endif