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  * During the construction of vertices and chambers, the activity domain
  15  * of every parametric vertex is full-dimensional.
  16  */
  17 struct isl_vertex {
  18         isl_basic_set *dom;
  19         isl_basic_set *vertex;
  20 };
  21
  22 /* A chamber in the chamber decomposition.  The indices of the "n_vertices"
  23  * active vertices are stored in "vertices".
  24  */
  25 struct isl_chamber {
  26         int n_vertices;
  27         int *vertices;
  28         isl_basic_set *dom;
  29 };
  30
  31 struct isl_vertices {
  32         int ref;
  33
  34         /* The rational basic set spanned by the vertices. */
  35         isl_basic_set *bset;
  36
  37         int n_vertices;
  38         struct isl_vertex *v;
  39
  40         int n_chambers;
  41         struct isl_chamber *c;
  42 };
  43
  44 struct isl_cell {
  45         int n_vertices;
  46         int *ids;
  47         isl_vertices *vertices;
  48         isl_basic_set *dom;
  49 };
  50
  51 struct isl_external_vertex {
  52         isl_vertices *vertices;
  53         int id;
  54 };
  55
  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);
  60
  61 __isl_give isl_vertices *isl_morph_vertices(__isl_take struct isl_morph *morph,
  62         __isl_take isl_vertices *vertices);
  63
  64 #if defined(__cplusplus)
  65 }
  66 #endif