isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_multi_dim_id_templ.c
blob5103edf866c814565a1396e2ec7a7dcf8196f3c6
1 /*
2 * Copyright 2011 Sven Verdoolaege
3 * Copyright 2013 Ecole Normale Superieure
5 * Use of this software is governed by the MIT license
7 * Written by Sven Verdoolaege,
8 * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
9 */
11 #include <isl/space.h>
13 #include <isl_multi_macro.h>
15 /* Return the position of the dimension of the given type and name
16 * in "multi".
17 * Return -1 if no such dimension can be found.
19 int FN(MULTI(BASE),find_dim_by_name)(__isl_keep MULTI(BASE) *multi,
20 enum isl_dim_type type, const char *name)
22 if (!multi)
23 return -1;
24 return isl_space_find_dim_by_name(multi->space, type, name);
27 /* Return the position of the first dimension of "type" with id "id".
28 * Return -1 if there is no such dimension.
30 int FN(MULTI(BASE),find_dim_by_id)(__isl_keep MULTI(BASE) *multi,
31 enum isl_dim_type type, __isl_keep isl_id *id)
33 if (!multi)
34 return -1;
35 return isl_space_find_dim_by_id(multi->space, type, id);
38 /* Return the id of the given dimension.
40 __isl_give isl_id *FN(MULTI(BASE),get_dim_id)(__isl_keep MULTI(BASE) *multi,
41 enum isl_dim_type type, unsigned pos)
43 return multi ? isl_space_get_dim_id(multi->space, type, pos) : NULL;
46 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_dim_name)(
47 __isl_take MULTI(BASE) *multi,
48 enum isl_dim_type type, unsigned pos, const char *s)
50 isl_space *space;
52 space = FN(MULTI(BASE),get_space)(multi);
53 space = isl_space_set_dim_name(space, type, pos, s);
55 return FN(MULTI(BASE),reset_space)(multi, space);
58 /* Set the id of the given dimension of "multi" to "id".
60 __isl_give MULTI(BASE) *FN(MULTI(BASE),set_dim_id)(
61 __isl_take MULTI(BASE) *multi,
62 enum isl_dim_type type, unsigned pos, __isl_take isl_id *id)
64 isl_space *space;
66 space = FN(MULTI(BASE),get_space)(multi);
67 space = isl_space_set_dim_id(space, type, pos, id);
69 return FN(MULTI(BASE),reset_space)(multi, space);