add isl_space_add_param_id
commite86cc5df44a995c19ff1ed75145186717ce37cb1
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 28 Dec 2017 09:07:39 +0000 (28 10:07 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 28 Dec 2017 09:21:58 +0000 (28 10:21 +0100)
treea763e22ffb5ecf122752e93f07983c76c0ad9d51
parentf18db96be9c24b3a9dec77091683ef31477304a5
add isl_space_add_param_id

This convenience function allows parameters to be added
to a space without having to resort to first adding an unnamed
parameter and then changing its identifier.
Unnamed parameters and changing the names/identifiers of parameters
should in general be discouraged.
This function will also be used in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
include/isl/space.h
isl_space.c