remove_duplicate_constraints: also detect implicit equalites and conflicting constraints
[platform/upstream/isl.git] / isl_map_private.h
1 #include "isl_set.h"
2 #include "isl_map.h"
3
4 int isl_basic_map_alloc_equality(struct isl_ctx *ctx,
5                 struct isl_basic_map *bmap);
6 int isl_basic_map_free_equality(struct isl_ctx *ctx,
7                 struct isl_basic_map *bmap, unsigned n);
8 int isl_basic_map_alloc_inequality(struct isl_ctx *ctx,
9                 struct isl_basic_map *bmap);
10 int isl_basic_map_free_inequality(struct isl_ctx *ctx,
11                 struct isl_basic_map *bmap, unsigned n);
12 int isl_basic_map_alloc_div(struct isl_ctx *ctx,
13                 struct isl_basic_map *bmap);
14 int isl_basic_map_free_div(struct isl_ctx *ctx,
15                 struct isl_basic_map *bmap, unsigned n);
16 void isl_basic_map_inequality_to_equality(struct isl_ctx *ctx,
17                 struct isl_basic_map *bmap, unsigned pos);
18
19 int isl_inequality_negate(struct isl_ctx *ctx,
20                 struct isl_basic_map *bmap, unsigned pos);
21
22 struct isl_basic_set *isl_basic_set_cow(struct isl_ctx *ctx,
23                 struct isl_basic_set *bset);
24 struct isl_basic_map *isl_basic_map_cow(struct isl_ctx *ctx,
25                 struct isl_basic_map *bmap);
26 struct isl_map *isl_map_cow(struct isl_ctx *ctx, struct isl_map *map);
27
28 struct isl_basic_map *isl_basic_map_set_to_empty(
29                 struct isl_ctx *ctx, struct isl_basic_map *bmap);
30 struct isl_basic_set *isl_basic_set_set_to_empty(
31                 struct isl_ctx *ctx, struct isl_basic_set *bset);
32 struct isl_map *isl_basic_map_compute_divs(struct isl_ctx *ctx,
33                 struct isl_basic_map *bmap);
34 struct isl_map *isl_map_compute_divs(struct isl_ctx *ctx, struct isl_map *map);
35 struct isl_basic_map *isl_basic_map_align_divs(struct isl_ctx *ctx,
36                 struct isl_basic_map *dst, struct isl_basic_map *src);
37 struct isl_basic_map *isl_basic_map_gauss(struct isl_ctx *ctx,
38         struct isl_basic_map *bmap, int *progress);
39 struct isl_basic_set *isl_basic_set_gauss(struct isl_ctx *ctx,
40         struct isl_basic_set *bset, int *progress);