diff options
Diffstat (limited to 'polly/lib/External/isl/isl_farkas.c')
| -rw-r--r-- | polly/lib/External/isl/isl_farkas.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_farkas.c b/polly/lib/External/isl/isl_farkas.c index eff8608b280..cb45a633a1c 100644 --- a/polly/lib/External/isl/isl_farkas.c +++ b/polly/lib/External/isl/isl_farkas.c @@ -371,6 +371,24 @@ __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set) return coeff; } +/* Wrapper around isl_basic_set_coefficients for use + * as a isl_basic_set_list_map callback. + */ +static __isl_give isl_basic_set *coefficients_wrap( + __isl_take isl_basic_set *bset, void *user) +{ + return isl_basic_set_coefficients(bset); +} + +/* Replace the elements of "list" by the result of applying + * isl_basic_set_coefficients to them. + */ +__isl_give isl_basic_set_list *isl_basic_set_list_coefficients( + __isl_take isl_basic_set_list *list) +{ + return isl_basic_set_list_map(list, &coefficients_wrap, NULL); +} + /* Construct a basic set containing the elements that satisfy all * affine constraints whose coefficient tuples are * contained in the given set. |
