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         int ref;
  31
  32         /* The rational basic set spanned by the vertices. */
  33         isl_basic_set *bset;
  34
  35         int n_vertices;
  36         struct isl_vertex *v;
  37
  38         int n_chambers;
  39         struct isl_chamber *c;
  40 };
  41
  42 struct isl_cell {
  43         int n_vertices;
  44         int *ids;
  45         isl_vertices *vertices;
  46         isl_basic_set *dom;
  47 };
  48
  49 struct isl_external_vertex {
  50         isl_vertices *vertices;
  51         int id;
  52 };
  53
  54 int isl_vertices_foreach_disjoint_cell(__isl_keep isl_vertices *vertices,
  55         int (*fn)(__isl_take isl_cell *cell, void *user), void *user);
  56 int isl_cell_foreach_simplex(__isl_take isl_cell *cell,
  57         int (*fn)(__isl_take isl_cell *simplex, void *user), void *user);
  58
  59 __isl_give isl_vertices *isl_morph_vertices(__isl_take struct isl_morph *morph,
  60         __isl_take isl_vertices *vertices);
  61
  62 #if defined(__cplusplus)
  63 }
  64 #endif