convert.h

   1 #include <isl/map.h>
   2 #include <isl/set.h>
   3 #include <omega.h>
   4
   5 using namespace omega;
   6
   7 __isl_give isl_map *relation2map(isl_ctx *ctx, Relation &r);
   8 __isl_give isl_set *relation2set(isl_ctx *ctx, Relation &r);