add isl_basic_set_dim_max_val
commitfd2b5cb48c881254aa2f20318e11fab5f30f4c6d
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 20 Dec 2017 10:56:59 +0000 (20 11:56 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 21 Dec 2017 09:05:24 +0000 (21 10:05 +0100)
treeed29ed57fdb0d1357b4fd5f037346f6e29a29453
parent6490bdd1921257ec43018132395758bb61dec049
add isl_basic_set_dim_max_val

This is a convenience wrapper around isl_basic_set_max_val.
The memory management annotations follow those of isl_set_dim_max
rather than those of isl_basic_set_max_val because the interface
more closely resembles that of isl_set_dim_max and because
the memory management annotations of isl_basic_set_max_val
are arguably a mistake, since most functions returning
a new isl object __isl_take their arguments.

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