isl_map_simplify.c: isl_basic_map_eliminate_vars: drop redundant mark removal
[isl.git] / isl_local.h
blob74138ee0251e6583f21950815e94a0430e491e1b
1 #ifndef ISL_LOCAL_H
2 #define ISL_LOCAL_H
4 #include <isl/mat.h>
5 #include <isl_reordering.h>
7 typedef isl_mat isl_local;
9 isl_bool isl_local_div_is_marked_unknown(__isl_keep isl_local *local, int pos);
10 isl_bool isl_local_div_is_known(__isl_keep isl_local *local, int pos);
11 isl_bool isl_local_divs_known(__isl_keep isl_local *local);
13 int isl_local_cmp(__isl_keep isl_local *local1, __isl_keep isl_local *local2);
15 __isl_give isl_local *isl_local_reorder(__isl_take isl_local *local,
16 __isl_take isl_reordering *r);
18 __isl_give isl_vec *isl_local_extend_point_vec(__isl_keep isl_local *local,
19 __isl_take isl_vec *v);
21 #endif