49 		isl_basic_set_free(vertices->v[i].vertex);  in isl_vertices_free()
77 		isl_basic_set_free(list->v.vertex);  in free_vertex_list()
139 	v->v.vertex = isl_basic_set_copy(bset);  in add_vertex()
140 	v->v.vertex = isl_basic_set_cow(v->v.vertex);  in add_vertex()
141 	v->v.vertex = isl_basic_set_update_from_tab(v->v.vertex, tab);  in add_vertex()
142 	v->v.vertex = isl_basic_set_simplify(v->v.vertex);  in add_vertex()
143 	v->v.vertex = isl_basic_set_finalize(v->v.vertex);  in add_vertex()
144 	if (!v->v.vertex)  in add_vertex()
146 	isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error);  in add_vertex()
147 	v->v.dom = isl_basic_set_copy(v->v.vertex);  in add_vertex()
211 	vertices->v[0].vertex = isl_basic_set_copy(bset);  in vertices_0D()
213 	if (!vertices->v[0].vertex || !vertices->v[0].dom)  in vertices_0D()
980 isl_ctx *isl_vertex_get_ctx(__isl_keep isl_vertex *vertex)  in isl_vertex_get_ctx()  argument
982 	return vertex ? isl_vertices_get_ctx(vertex->vertices) : NULL;  in isl_vertex_get_ctx()
985 isl_size isl_vertex_get_id(__isl_keep isl_vertex *vertex)  in isl_vertex_get_id()  argument
987 	return vertex ? vertex->id : isl_size_error;  in isl_vertex_get_id()
992 __isl_give isl_basic_set *isl_vertex_get_domain(__isl_keep isl_vertex *vertex)  in isl_vertex_get_domain()  argument
996 	if (!vertex)  in isl_vertex_get_domain()
999 	v = &vertex->vertices->v[vertex->id];  in isl_vertex_get_domain()
1001 		v->dom = isl_basic_set_copy(v->vertex);  in isl_vertex_get_domain()
1012 __isl_give isl_multi_aff *isl_vertex_get_expr(__isl_keep isl_vertex *vertex)  in isl_vertex_get_expr()  argument
1017 	if (!vertex)  in isl_vertex_get_expr()
1020 	v = &vertex->vertices->v[vertex->id];  in isl_vertex_get_expr()
1022 	bset = isl_basic_set_copy(v->vertex);  in isl_vertex_get_expr()
1030 	isl_vertex *vertex;  in isl_vertex_alloc()  local
1036 	vertex = isl_alloc_type(ctx, isl_vertex);  in isl_vertex_alloc()
1037 	if (!vertex)  in isl_vertex_alloc()
1040 	vertex->vertices = vertices;  in isl_vertex_alloc()
1041 	vertex->id = id;  in isl_vertex_alloc()
1043 	return vertex;  in isl_vertex_alloc()
1049 __isl_null isl_vertex *isl_vertex_free(__isl_take isl_vertex *vertex)  in isl_vertex_free()  argument
1051 	if (!vertex)  in isl_vertex_free()
1053 	isl_vertices_free(vertex->vertices);  in isl_vertex_free()
1054 	free(vertex);  in isl_vertex_free()
1279 	isl_stat (*fn)(__isl_take isl_vertex *vertex, void *user), void *user)  in isl_vertices_foreach_vertex()  argument
1282 	isl_vertex *vertex;  in isl_vertices_foreach_vertex()  local
1293 		vertex = isl_vertex_alloc(isl_vertices_copy(vertices), i);  in isl_vertices_foreach_vertex()
1294 		if (!vertex)  in isl_vertices_foreach_vertex()
1297 		r = fn(vertex, user);  in isl_vertices_foreach_vertex()
1306 	isl_stat (*fn)(__isl_take isl_vertex *vertex, void *user), void *user)  in isl_cell_foreach_vertex()  argument
1309 	isl_vertex *vertex;  in isl_cell_foreach_vertex()  local
1320 		vertex = isl_vertex_alloc(isl_vertices_copy(cell->vertices),  in isl_cell_foreach_vertex()
1322 		if (!vertex)  in isl_cell_foreach_vertex()
1325 		r = fn(vertex, user);  in isl_cell_foreach_vertex()
1361 		vertices->v[i].vertex = isl_morph_basic_set(  in isl_morph_vertices()
1362 			isl_morph_copy(morph), vertices->v[i].vertex);  in isl_morph_vertices()
1363 		if (!vertices->v[i].vertex)  in isl_morph_vertices()
1434 static int vertex_on_facet(__isl_keep isl_basic_set *vertex,  in vertex_on_facet()  argument
1443 	for (i = 0; i < vertex->n_eq; ++i) {  in vertex_on_facet()
1444 		int k = isl_seq_last_non_zero(vertex->eq[i], v->size);  in vertex_on_facet()
1445 		isl_seq_elim(v->el, vertex->eq[i], k, v->size, &m);  in vertex_on_facet()
1470 	isl_basic_set *vertex;  in triangulate()  local
1484 	vertex = cell->vertices->v[other_ids[0]].vertex;  in triangulate()
1493 		if (vertex_on_facet(vertex, bset, i, v))  in triangulate()
1498 			ov = cell->vertices->v[other_ids[j]].vertex;  in triangulate()