isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / isl_union_map_lex_templ.c
blobb9df71261d278050015b1449f3fdd89335fbb837
1 /*
2 * Copyright 2014 INRIA Rocquencourt
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege,
7 * Inria Paris - Rocquencourt, Domaine de Voluceau - Rocquencourt,
8 * B.P. 105 - 78153 Le Chesnay, France
9 */
11 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
12 #define FN(TYPE,NAME) xFN(TYPE,NAME)
14 /* Return the subset of "umap" where the domain and the range
15 * have "mupa" values that lexicographically compare as "ORDER".
17 __isl_give isl_union_map *FN(FN(isl_union_map_lex,ORDER),at_multi_union_pw_aff)(
18 __isl_take isl_union_map *umap,
19 __isl_take isl_multi_union_pw_aff *mupa)
21 return isl_union_map_order_at_multi_union_pw_aff(umap, mupa,
22 &FN(FN(isl_multi_pw_aff_lex,ORDER),map));