1 #include <ginac/ginac.h>
2 #include <bernstein/piecewise_lst.h>
3 #include <barvinok/evalue.h>
5 struct barvinok_options
;
9 bernstein::piecewise_lst
*evalue_bernstein_coefficients(
10 bernstein::piecewise_lst
*pl_all
, evalue
*e
,
11 Polyhedron
*ctx
, const GiNaC::exvector
& params
);
12 bernstein::piecewise_lst
*evalue_bernstein_coefficients(
13 bernstein::piecewise_lst
*pl_all
, evalue
*e
,
14 Polyhedron
*ctx
, const GiNaC::exvector
& params
,
15 barvinok_options
*options
);
16 GiNaC::ex
evalue2ex(evalue
*e
, const GiNaC::exvector
& vars
);
17 GiNaC::ex
evalue2ex(const evalue
*e
, const GiNaC::exvector
& vars
,
18 GiNaC::exvector
& floorvar
, Matrix
**C
);