reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
390 if (!bset) 393 if (isl_basic_set_plain_is_empty(bset)) 394 return vertices_empty(bset); 396 if (bset->n_eq != 0) 397 return lower_dim_vertices(bset); 399 isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0, 399 isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0, 402 if (isl_basic_set_dim(bset, isl_dim_set) == 0) 403 return vertices_0D(bset); 405 nvar = isl_basic_set_dim(bset, isl_dim_set); 407 bset = isl_basic_set_copy(bset); 407 bset = isl_basic_set_copy(bset); 408 bset = isl_basic_set_set_rational(bset); 408 bset = isl_basic_set_set_rational(bset); 409 if (!bset) 412 tab = isl_tab_from_basic_set(bset, 0); 418 vertices = vertices_empty(bset); 419 isl_basic_set_free(bset); 424 selection = isl_alloc_array(bset->ctx, int, bset->n_ineq); 424 selection = isl_alloc_array(bset->ctx, int, bset->n_ineq); 425 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, bset->n_ineq); 425 snap = isl_alloc_array(bset->ctx, struct isl_tab_undo *, bset->n_ineq); 426 facets = isl_mat_alloc(bset->ctx, nvar, nvar); 427 if ((bset->n_ineq && (!selection || !snap)) || !facets) 435 if (level >= bset->n_ineq || 444 ok = can_select(bset, level, tab, facets, selected, 461 isl_bool added = add_vertex(&list, bset, tab); 480 vertices = vertices_from_list(bset, n_vertices, list); 482 vertices = compute_chambers(bset, vertices); 491 isl_basic_set_free(bset);