omega_interface/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, const char **params);
  11 Relation Domain2relation(Polyhedron *D, unsigned nvar, unsigned nparam,
  12                          const char **params);
  13 void dump(Relation& r);