__isl_give isl_map *(*fn)(__isl_take isl_map *map1,
__isl_take isl_map *map2));
+int isl_basic_map_foreach_lexopt(__isl_keep isl_basic_map *bmap, int max,
+ int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
+ void *user),
+ void *user);
int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max,
int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list,
void *user),
void *user);
+__isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,
+ enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs);
+
#endif