schedule.h

   1 #ifndef _SCHEDULE_H
   2 #define _SCHEDULE_H
   3
   4 #include <isl/id.h>
   5 #include <isl/space.h>
   6
   7 __isl_give isl_set *parametrization(__isl_take isl_space *space,
   8         int len, int first, __isl_keep isl_id_list *names);
   9
  10 #endif