* 91893 Orsay, France
*/
-#include <isl_set.h>
-#include <isl_seq.h>
-#include <isl_tab.h>
#include <isl_map_private.h>
+#include <isl/set.h>
+#include <isl/seq.h>
+#include <isl_tab.h>
#include <isl_dim_private.h>
#include <isl_morph.h>
#include <isl_vertices_private.h>
int level;
int init;
unsigned nvar;
- int *selection;
+ int *selection = NULL;
int selected;
- struct isl_tab_undo **snap;
- isl_mat *facets;
+ struct isl_tab_undo **snap = NULL;
+ isl_mat *facets = NULL;
struct isl_vertex_list *list = NULL;
int n_vertices = 0;
isl_vertices *vertices;
if (!bset)
return NULL;
- if (isl_basic_set_fast_is_empty(bset))
+ if (isl_basic_set_plain_is_empty(bset))
return vertices_empty(bset);
if (bset->n_eq != 0)
struct isl_chamber_list *list)
{
int i;
+ isl_ctx *ctx;
struct isl_chamber_list *next;
- vertices->c = isl_alloc_array(vertices->ctx, struct isl_chamber, n_chambers);
+ ctx = isl_vertices_get_ctx(vertices);
+ vertices->c = isl_alloc_array(ctx, struct isl_chamber, n_chambers);
if (!vertices->c)
goto error;
vertices->n_chambers = n_chambers;
{
for (; *list; list = &(*list)->next) {
int eq;
- eq = isl_basic_set_fast_is_equal(todo->bset, (*list)->bset);
+ eq = isl_basic_set_plain_is_equal(todo->bset, (*list)->bset);
if (eq < 0)
return -1;
if (!eq)
__isl_take isl_vertices *vertices)
{
int i;
+ isl_ctx *ctx;
isl_vec *sample = NULL;
struct isl_tab *tab = NULL;
struct isl_tab_undo *snap;
if (!bset || !vertices)
goto error;
- selection = isl_alloc_array(vertices->ctx, int, vertices->n_vertices);
+ ctx = isl_vertices_get_ctx(vertices);
+ selection = isl_alloc_array(ctx, int, vertices->n_vertices);
if (!selection)
goto error;
static __isl_give isl_vertex *isl_vertex_alloc(__isl_take isl_vertices *vertices,
int id)
{
+ isl_ctx *ctx;
isl_vertex *vertex;
if (!vertices)
return NULL;
- vertex = isl_alloc_type(vertices->ctx, isl_vertex);
+ ctx = isl_vertices_get_ctx(vertices);
+ vertex = isl_alloc_type(ctx, isl_vertex);
if (!vertex)
goto error;
int i, j, k;
int d, nparam;
int *ids;
+ isl_ctx *ctx;
isl_basic_set *vertex;
isl_basic_set *bset;
+ ctx = isl_cell_get_ctx(cell);
d = isl_basic_set_dim(cell->vertices->bset, isl_dim_set);
nparam = isl_basic_set_dim(cell->vertices->bset, isl_dim_param);