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