isl_vertices_private.h

Go to the documentation of this file.

#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