add isl_set_remove_dims
[platform/upstream/isl.git] / include / isl_set.h
1 #ifndef ISL_SET_H
2 #define ISL_SET_H
3
4 #include "isl_map.h"
5
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
9
10 /* A "basic set" is a basic map with a zero-dimensional
11  * domain.
12  */
13 struct isl_basic_set {
14         int ref;
15 #define ISL_BASIC_SET_FINAL             (1 << 0)
16 #define ISL_BASIC_SET_EMPTY             (1 << 1)
17         unsigned flags;
18
19         struct isl_ctx *ctx;
20
21         unsigned nparam;
22         unsigned zero;
23         unsigned dim;
24         unsigned extra;
25
26         unsigned n_eq;
27         unsigned n_ineq;
28
29         size_t c_size;
30         isl_int **eq;
31         isl_int **ineq;
32
33         unsigned n_div;
34
35         isl_int **div;
36
37         struct isl_vec *sample;
38
39         struct isl_blk block;
40         struct isl_blk block2;
41 };
42
43 /* A "set" is a (possibly disjoint) union of basic sets.
44  *
45  * See the documentation of isl_map.
46  */
47 struct isl_set {
48         int ref;
49 #define ISL_SET_DISJOINT                (1 << 0)
50         unsigned flags;
51
52         struct isl_ctx *ctx;
53
54         unsigned nparam;
55         unsigned zero;
56         unsigned dim;
57
58         int n;
59
60         size_t size;
61         struct isl_basic_set *p[0];
62 };
63
64 struct isl_basic_set *isl_basic_set_alloc(struct isl_ctx *ctx,
65                 unsigned nparam, unsigned dim, unsigned extra,
66                 unsigned n_eq, unsigned n_ineq);
67 struct isl_basic_set *isl_basic_set_extend(struct isl_basic_set *base,
68                 unsigned nparam, unsigned dim, unsigned extra,
69                 unsigned n_eq, unsigned n_ineq);
70 struct isl_basic_set *isl_basic_set_finalize(struct isl_basic_set *bset);
71 void isl_basic_set_free(struct isl_basic_set *bset);
72 struct isl_basic_set *isl_basic_set_copy(struct isl_basic_set *bset);
73 struct isl_basic_set *isl_basic_set_empty(struct isl_ctx *ctx,
74                 unsigned nparam, unsigned dim);
75 struct isl_basic_set *isl_basic_set_universe(struct isl_ctx *ctx,
76                 unsigned nparam, unsigned dim);
77 void isl_basic_set_dump(struct isl_basic_set *bset,
78                                 FILE *out, int indent);
79 struct isl_basic_set *isl_basic_set_swap_vars(
80                 struct isl_basic_set *bset, unsigned n);
81 struct isl_basic_set *isl_basic_set_intersect(
82                 struct isl_basic_set *bset1,
83                 struct isl_basic_set *bset2);
84 struct isl_basic_set *isl_basic_set_apply(
85                 struct isl_basic_set *bset,
86                 struct isl_basic_map *bmap);
87 struct isl_basic_set *isl_basic_set_affine_hull(struct isl_basic_set *bset);
88 struct isl_basic_set *isl_basic_set_simplify(struct isl_basic_set *bset);
89 #define ISL_FORMAT_POLYLIB      1
90 #define ISL_FORMAT_OMEGA        2
91 struct isl_basic_set *isl_basic_set_read_from_file(struct isl_ctx *ctx,
92                 FILE *input, unsigned nparam, unsigned input_format);
93 struct isl_set *isl_set_read_from_file(struct isl_ctx *ctx,
94                 FILE *input, unsigned nparam, unsigned input_format);
95 struct isl_basic_set *isl_basic_set_from_underlying_set(
96         struct isl_basic_set *bset, struct isl_basic_set *like);
97 struct isl_set *isl_set_from_underlying_set(
98         struct isl_set *set, struct isl_basic_set *like);
99 struct isl_set *isl_set_to_underlying_set(struct isl_set *set);
100
101 int isl_basic_set_is_equal(
102                 struct isl_basic_set *bset1, struct isl_basic_set *bset2);
103
104 struct isl_set *isl_basic_set_lexmin(struct isl_basic_set *bset);
105 struct isl_set *isl_basic_set_union(
106                 struct isl_basic_set *bset1,
107                 struct isl_basic_set *bset2);
108
109 struct isl_set *isl_set_alloc(struct isl_ctx *ctx,
110                 unsigned nparam, unsigned dim, int n, unsigned flags);
111 struct isl_set *isl_set_extend(struct isl_set *base,
112                 unsigned nparam, unsigned dim);
113 struct isl_set *isl_set_empty(struct isl_ctx *ctx,
114                 unsigned nparam, unsigned dim);
115 struct isl_set *isl_set_add(struct isl_set *set, struct isl_basic_set *bset);
116 struct isl_set *isl_set_finalize(struct isl_set *set);
117 struct isl_set *isl_set_copy(struct isl_set *set);
118 void isl_set_free(struct isl_set *set);
119 struct isl_set *isl_set_dup(struct isl_set *set);
120 struct isl_set *isl_set_from_basic_set(struct isl_basic_set *bset);
121 struct isl_basic_set *isl_set_affine_hull(struct isl_set *set);
122 struct isl_basic_set *isl_set_convex_hull(struct isl_set *set);
123
124 struct isl_set *isl_set_union_disjoint(
125                         struct isl_set *set1, struct isl_set *set2);
126 struct isl_set *isl_set_union(struct isl_set *set1, struct isl_set *set2);
127 struct isl_set *isl_set_intersect(struct isl_set *set1, struct isl_set *set2);
128 struct isl_set *isl_set_subtract(struct isl_set *set1, struct isl_set *set2);
129 struct isl_set *isl_set_apply(struct isl_set *set, struct isl_map *map);
130 struct isl_set *isl_set_fix_dim_si(struct isl_set *set,
131                 unsigned dim, int value);
132 struct isl_set *isl_set_remove_dims(struct isl_set *set,
133                 unsigned first, unsigned n);
134
135 void isl_set_dump(struct isl_set *set, FILE *out, int indent);
136 struct isl_set *isl_set_swap_vars(struct isl_set *set, unsigned n);
137 int isl_set_is_empty(struct isl_set *set);
138 int isl_set_is_subset(struct isl_set *set1, struct isl_set *set2);
139 int isl_set_is_equal(struct isl_set *set1, struct isl_set *set2);
140
141 struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
142
143 #if defined(__cplusplus)
144 }
145 #endif
146
147 #endif