diff options
Diffstat (limited to 'polly/lib/External/isl/isl_map_private.h')
| -rw-r--r-- | polly/lib/External/isl/isl_map_private.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/polly/lib/External/isl/isl_map_private.h b/polly/lib/External/isl/isl_map_private.h index 2b976abcd7b..79234469b0e 100644 --- a/polly/lib/External/isl/isl_map_private.h +++ b/polly/lib/External/isl/isl_map_private.h @@ -430,6 +430,11 @@ __isl_give isl_basic_set *isl_basic_set_expand_divs( __isl_give isl_basic_map *isl_basic_map_expand_divs( __isl_take isl_basic_set *bmap, __isl_take isl_mat *div, int *exp); +int isl_basic_set_n_equality(__isl_keep isl_basic_set *bset); +int isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap); +int isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset); +int isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap); + __isl_give isl_basic_map *isl_basic_map_mark_div_unknown( __isl_take isl_basic_map *bmap, int div); isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap, |
