omega/convert.h

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