fix isl_basic_map_move_dims in presence of existentially quantified variables
[platform/upstream/isl.git] / isl_vertices_private.h
1 #include <isl_set.h>
2 #include <isl_vertices.h>
3
4 #if defined(__cplusplus)
5 extern "C" {
6 #endif
7
8 struct isl_morph;
9
10 /* A parametric vertex.  "vertex" contains the actual description
11  * of the vertex as a singleton parametric set.  "dom" is the projection
12  * of "vertex" onto the parameter space, i.e., the activity domain
13  * of the vertex.
14  */
15 struct isl_vertex {
16         isl_basic_set *dom;
17         isl_basic_set *vertex;
18 };
19
20 /* A chamber in the chamber decomposition.  The indices of the "n_vertices"
21  * active vertices are stored in "vertices".
22  */
23 struct isl_chamber {
24         int n_vertices;
25         int *vertices;
26         isl_basic_set *dom;
27 };
28
29 struct isl_vertices {
30         isl_ctx *ctx;
31         int ref;
32
33         int n_vertices;
34         struct isl_vertex *v;
35
36         int n_chambers;
37         struct isl_chamber *c;
38 };
39
40 struct isl_cell {
41         isl_vertices *vertices;
42         isl_basic_set *dom;
43         int id;
44 };
45
46 struct isl_external_vertex {
47         isl_vertices *vertices;
48         int id;
49 };
50
51 int isl_vertices_foreach_disjoint_cell(__isl_keep isl_vertices *vertices,
52         int (*fn)(__isl_take isl_cell *cell, void *user), void *user);
53
54 __isl_give isl_vertices *isl_morph_vertices(__isl_take struct isl_morph *morph,
55         __isl_take isl_vertices *vertices);
56
57 #if defined(__cplusplus)
58 }
59 #endif