genfun.cc: short_rat::print: correctly print polynomials (no denominator)
[barvinok.git] / omega / convert.h
blob1e3547ec75e756884891a30655645a6bcdcbff38
1 #include <barvinok/barvinok.h>
2 #include <omega.h>
3 #include <vector>
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);