param_util.c: add Param_Vertex_Domain
[barvinok.git] / barvinok / bernstein.h
blobfb48e930ed3ec0c41b415b2b8066f3f4a8e67d74
1 #include <ginac/ginac.h>
2 #include <bernstein/piecewise_lst.h>
3 #include <barvinok/evalue.h>
5 struct barvinok_options;
7 namespace barvinok {
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);