include/isl_map_ppl.h

   1 #ifndef ISL_MAP_PPL_H
   2 #define ISL_MAP_PPL_H
   3
   4 #include <isl_map.h>
   5 #include <isl_ppl.h>
   6
   7 __isl_give isl_map *isl_map_new_from_ppl(
   8         ppl_const_Pointset_Powerset_C_Polyhedron_t ps, __isl_take isl_dim *dim);
   9 ppl_Pointset_Powerset_C_Polyhedron_t isl_map_to_ppl(__isl_keep isl_map *map);
  10
  11 #endif