add exported isl_union_{set,map}_empty_ctx
commitddd566e5697e9d15ae243e8d8e2d8e5991107c31
authorSven Verdoolaege <sven@cerebras.net>
Fri, 28 Dec 2018 11:38:22 +0000 (28 12:38 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 9 Jun 2019 09:38:25 +0000 (9 11:38 +0200)
treeb8f371c7e37aaa2db51296c9377e09dfb3d6d69b
parent256cbb56f174ac9f78589ee494efa42a642b46d1
add exported isl_union_{set,map}_empty_ctx

The space argument of isl_union_{set,map}_empty_space allows
the user to initialize the parameter space of the union set or map.
There is, however, no need to specify this parameter space
in advance since any binary operation performed on union sets or maps
will align the parameters of the arguments.
In practice, the only (minor) advantage of specifying this space
beforehand is that it saves on an allocation of a space.
This is not a sufficient reason to force the user to get hold
of some space before constructing a union set or map.
The user may very well construct a default space using
isl_space_unit, but conceptually there should be no need,
so offer a variant of the function that only requires an isl_ctx.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
doc/user.pod
include/isl/union_map.h
include/isl/union_set.h
isl_union_map.c