add isl_multi_union_pw_aff_{min,max}_multi_val
commit48e6d14290572a8bb52ff2e106e3022c35b4cae5
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 21 Jun 2018 13:12:24 +0000 (21 15:12 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 28 Jun 2018 12:51:27 +0000 (28 14:51 +0200)
tree078e77e8f8287a5eb954941d9849d3d0b95c7424
parent017b14d9545ac5014f431fdb50436531bd784c7d
add isl_multi_union_pw_aff_{min,max}_multi_val

The motivation for the naming and the interface of these functions
is the same as for isl_union_pw_aff_{min,max}_val
introduced in an earlier commit.

Unlike those functions, which could have been easily
implemented in terms of the original internals of
isl_union_set_min_multi_union_pw_aff, it would be
a bit more involved to do the same for
isl_multi_union_pw_aff_min_multi_val because
each of the multiple expressions may have a different domain and
the union of these domains would have had to be collected
to be used as a dummy argument to isl_multi_union_pw_aff_min_multi_val.

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