/*
* Copyright 2010 INRIA Saclay
*
- * Use of this software is governed by the GNU LGPLv2.1 license
+ * Use of this software is governed by the MIT license
*
* Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
* Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
return vertices;
error:
- free(vertices);
+ isl_vertices_free(vertices);
free_vertex_list(list);
return NULL;
}
goto error;
isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error);
v->v.dom = isl_basic_set_copy(v->v.vertex);
- v->v.dom = isl_basic_set_project_out(v->v.dom, isl_dim_set, 0, nvar);
+ v->v.dom = isl_basic_set_params(v->v.dom);
if (!v->v.dom)
goto error;
return vertices;
error:
+ free_vertex_list(list);
isl_mat_free(facets);
free(selection);
free(snap);
bset = isl_basic_set_params(bset);
tab = isl_tab_from_basic_set(bset, 1);
- isl_basic_set_free(bset);
for (i = 0; i < bset->n_ineq; ++i)
if (isl_tab_freeze_constraint(tab, i) < 0)
goto error;
+ isl_basic_set_free(bset);
snap = isl_tab_snap(tab);
v = &vertex->vertices->v[vertex->id];
if (!v->dom) {
- unsigned nvar;
- nvar = isl_basic_set_dim(v->vertex, isl_dim_set);
v->dom = isl_basic_set_copy(v->vertex);
- v->dom = isl_basic_set_project_out(v->dom, isl_dim_set, 0, nvar);
+ v->dom = isl_basic_set_params(v->dom);
}
return isl_basic_set_copy(v->dom);