1/* 2 * Copyright 2013 Ecole Normale Superieure 3 * 4 * Use of this software is governed by the MIT license 5 * 6 * Written by Sven Verdoolaege, 7 * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France 8 */ 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