1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
| #ifndef ISL_VERTICES_PRIVATE_H
#define ISL_VERTICES_PRIVATE_H
#include <isl/set.h>
#include <isl/vertices.h>
#if defined(__cplusplus)
extern "C" {
#endif
struct isl_morph;
/* A parametric vertex. "vertex" contains the actual description
* of the vertex as a singleton parametric set. "dom" is the projection
* of "vertex" onto the parameter space, i.e., the activity domain
* of the vertex.
* During the construction of vertices and chambers, the activity domain
* of every parametric vertex is full-dimensional.
*/
struct isl_vertex {
isl_basic_set *dom;
isl_basic_set *vertex;
};
/* A chamber in the chamber decomposition. The indices of the "n_vertices"
* active vertices are stored in "vertices".
*/
struct isl_chamber {
int n_vertices;
int *vertices;
isl_basic_set *dom;
};
struct isl_vertices {
int ref;
/* The rational basic set spanned by the vertices. */
isl_basic_set *bset;
int n_vertices;
struct isl_vertex *v;
int n_chambers;
struct isl_chamber *c;
};
struct isl_cell {
int n_vertices;
int *ids;
isl_vertices *vertices;
isl_basic_set *dom;
};
struct isl_external_vertex {
isl_vertices *vertices;
int id;
};
isl_stat isl_vertices_foreach_disjoint_cell(__isl_keep isl_vertices *vertices,
isl_stat (*fn)(__isl_take isl_cell *cell, void *user), void *user);
isl_stat isl_cell_foreach_simplex(__isl_take isl_cell *cell,
isl_stat (*fn)(__isl_take isl_cell *simplex, void *user), void *user);
__isl_give isl_vertices *isl_morph_vertices(__isl_take struct isl_morph *morph,
__isl_take isl_vertices *vertices);
#if defined(__cplusplus)
}
#endif
#endif
|