43 lines · c
1/*2 * Copyright 2013 Ecole Normale Superieure3 *4 * Use of this software is governed by the MIT license5 *6 * Written by Sven Verdoolaege,7 * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France8 */9 10#include <isl/set.h>11 12#include <isl_multi_macro.h>13 14/* Return the shared domain of the elements of "multi".15 *16 * If "multi" has an explicit domain, then return this domain.17 */18__isl_give isl_set *FN(MULTI(BASE),domain)(__isl_take MULTI(BASE) *multi)19{20 int i;21 isl_set *dom;22 23 if (!multi)24 return NULL;25 26 if (FN(MULTI(BASE),has_explicit_domain)(multi)) {27 dom = FN(MULTI(BASE),get_explicit_domain)(multi);28 FN(MULTI(BASE),free)(multi);29 return dom;30 }31 32 dom = isl_set_universe(FN(MULTI(BASE),get_domain_space)(multi));33 for (i = 0; i < multi->n; ++i) {34 isl_set *dom_i;35 36 dom_i = FN(EL,domain)(FN(FN(MULTI(BASE),get),BASE)(multi, i));37 dom = isl_set_intersect(dom, dom_i);38 }39 40 FN(MULTI(BASE),free)(multi);41 return dom;42}43