| commit | 629f994c1271432ec0644a23f23dd29cf6ae3b61 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 7 Nov 2014 14:00:26 +0000 (7 15:00 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 23 Jan 2015 09:47:00 +0000 (23 10:47 +0100) | ||
| tree | c8cd8dd76767b7b5f0362373f20dc701612899c1 | treesnapshot (tar.gz zip) |
| parent | a1d7e7cebf9494b87e549e58f1bc0da1bd3646e2 | commitdiff |
generalize isl_multi_*_gist and isl_multi_*_intersect_domain
In particular, parametrize the domain of the elements of the multi expression
in these functions. For all multi expressions that are currently defined,
or at least those with a gist and an intersect_domain function, the
domains of the elements are sets. For an isl_multi_union_pw_aff,
which will be introduced next, the domains of these elements are
union sets. We therefore can no longer assume that they will always
be sets.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, parametrize the domain of the elements of the multi expression
in these functions. For all multi expressions that are currently defined,
or at least those with a gist and an intersect_domain function, the
domains of the elements are sets. For an isl_multi_union_pw_aff,
which will be introduced next, the domains of these elements are
union sets. We therefore can no longer assume that they will always
be sets.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>