1 #include <barvinok/evalue.h>
2 #include "section_array.h"
4 struct barvinok_options
;
6 #if defined(__cplusplus)
10 evalue
*box_summate(Polyhedron
*P
, evalue
*E
, unsigned nvar
,
11 struct barvinok_options
*options
);
12 evalue
*barvinok_summate_unweighted(Polyhedron
*P
, Polyhedron
*C
,
13 struct barvinok_options
*options
);
14 evalue
*barvinok_sum_over_polytope(Polyhedron
*P
, evalue
*E
, unsigned nvar
,
15 struct evalue_section_array
*sections
,
16 struct barvinok_options
*options
);
18 #if defined(__cplusplus)