add exported isl_multi_id
commit34deabc501f0bd6af2286ab00402032ddd12e839
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 12 Apr 2018 07:38:02 +0000 (12 09:38 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Thu, 2 May 2019 16:19:13 +0000 (2 18:19 +0200)
treeb87e6c4462e96592d9d8f4130a5477ee40d4861e
parent46a3630564ff66782c0ec4bd58f91f117f9beb02
add exported isl_multi_id

This type of objects keeps track of a space along with
identifiers for the set dimensions.  This will be useful
for transforming parameters into set dimensions with
the identifiers specifying the parameters that need
to be transformed into the set dimensions at the corresponding
positions and vice versa.

While a space itself can also have names for set dimensions,
these are transient and only meant for pretty printing.
They are not guaranteed to survive any operation
(on the space itself or indeed on any other object somehow
related to the space).

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
include/isl/id.h
include/isl/id_type.h
isl_id.c
isl_id_private.h
isl_output.c
print.c