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                                 unsigned MaxRays);
   9 Relation Polyhedron2relation(Polyhedron *P,
  10                           unsigned exist, unsigned nparam, char **params);
  11 void dump(Relation& r);