1 #include <barvinok/barvinok.h>
5 typedef std::vector
<Variable_ID
> varvector
;
7 Polyhedron
*relation2Domain(Relation
& r
, varvector
& vv
, varvector
& params
);
8 Relation
Polyhedron2relation(Polyhedron
*P
,
9 unsigned exist
, unsigned nparam
, char **params
);