isl_tab_basic_set_non_trivial_lexmin: reinitialize update field after backtrack
[isl.git] / isl_vertices_private.h
blobb77286d9b3603bb1bdb9c012b83f0ccf68ad292b
1 #include <isl/set.h>
2 #include <isl/vertices.h>
4 #if defined(__cplusplus)
5 extern "C" {
6 #endif
8 struct isl_morph;
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 * During the construction of vertices and chambers, the activity domain
15 * of every parametric vertex is full-dimensional.
17 struct isl_vertex {
18 isl_basic_set *dom;
19 isl_basic_set *vertex;
22 /* A chamber in the chamber decomposition. The indices of the "n_vertices"
23 * active vertices are stored in "vertices".
25 struct isl_chamber {
26 int n_vertices;
27 int *vertices;
28 isl_basic_set *dom;
31 struct isl_vertices {
32 int ref;
34 /* The rational basic set spanned by the vertices. */
35 isl_basic_set *bset;
37 int n_vertices;
38 struct isl_vertex *v;
40 int n_chambers;
41 struct isl_chamber *c;
44 struct isl_cell {
45 int n_vertices;
46 int *ids;
47 isl_vertices *vertices;
48 isl_basic_set *dom;
51 struct isl_external_vertex {
52 isl_vertices *vertices;
53 int id;
56 int isl_vertices_foreach_disjoint_cell(__isl_keep isl_vertices *vertices,
57 int (*fn)(__isl_take isl_cell *cell, void *user), void *user);
58 int isl_cell_foreach_simplex(__isl_take isl_cell *cell,
59 int (*fn)(__isl_take isl_cell *simplex, void *user), void *user);
61 __isl_give isl_vertices *isl_morph_vertices(__isl_take struct isl_morph *morph,
62 __isl_take isl_vertices *vertices);
64 #if defined(__cplusplus)
66 #endif