=back
+=head3 Changes since isl-0.07
+
+=over
+
+=item * The function C<isl_pw_aff_max> has been renamed to
+C<isl_pw_aff_union_max>.
+
+=back
+
=head1 Installation
The source of C<isl> can be obtained either as a tarball
not in C<cond>.
#include <isl/aff.h>
- __isl_give isl_pw_aff *isl_pw_aff_max(
+ __isl_give isl_pw_aff *isl_pw_aff_union_max(
__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2);
-The function C<isl_pw_aff_max> computes a piecewise quasi-affine
+The function C<isl_pw_aff_union_max> computes a piecewise quasi-affine
expression with a domain that is the union of those of C<pwaff1> and
C<pwaff2> and such that on each cell, the quasi-affine expression is
the maximum of those of C<pwaff1> and C<pwaff2>. If only one of
int isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
-__isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
+__isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2);
__isl_give isl_pw_aff *isl_pw_aff_copy(__isl_keep isl_pw_aff *pwaff);
* and pwaff2. If only one of pwaff1 or pwaff2 is defined on a given
* cell, then the associated expression is the defined one.
*/
-__isl_give isl_pw_aff *isl_pw_aff_max(__isl_take isl_pw_aff *pwaff1,
+__isl_give isl_pw_aff *isl_pw_aff_union_max(__isl_take isl_pw_aff *pwaff1,
__isl_take isl_pw_aff *pwaff2)
{
int i, j, n;
*
* We first project the set onto the given dimension and then compute
* the "lexicographic" maximum in each basic set, combining the results
- * using isl_pw_aff_max.
+ * using isl_pw_aff_union_max.
*/
__isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos)
{
isl_pw_aff *pwaff_i;
pwaff_i = basic_set_dim_max(set->p[i]);
- pwaff = isl_pw_aff_max(pwaff, pwaff_i);
+ pwaff = isl_pw_aff_union_max(pwaff, pwaff_i);
}
isl_set_free(set);