reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
426 if (!bset) 429 if (isl_basic_set_plain_is_empty(bset)) 430 return isl_morph_empty(bset); 432 isl_assert(bset->ctx, bset->n_div == 0, return NULL); 432 isl_assert(bset->ctx, bset->n_div == 0, return NULL); 434 otype = 1 + isl_space_offset(bset->dim, type); 435 ntype = isl_basic_set_dim(bset, type); 437 nrest = isl_basic_set_total_dim(bset) - (orest - 1); 439 for (f_eq = 0; f_eq < bset->n_eq; ++f_eq) 440 if (isl_seq_first_non_zero(bset->eq[f_eq] + orest, nrest) == -1) 442 for (n_eq = 0; f_eq + n_eq < bset->n_eq; ++n_eq) 443 if (isl_seq_first_non_zero(bset->eq[f_eq + n_eq] + otype, ntype) == -1) 446 return isl_morph_identity(bset); 448 E = isl_mat_sub_alloc6(bset->ctx, bset->eq, f_eq, n_eq, 0, orest); 448 E = isl_mat_sub_alloc6(bset->ctx, bset->eq, f_eq, n_eq, 0, orest); 455 return isl_morph_empty(bset); 458 Q = isl_mat_diagonal(Q, isl_mat_identity(bset->ctx, nrest)); 459 C = isl_mat_diagonal(C, isl_mat_identity(bset->ctx, nrest)); 461 space = isl_space_copy(bset->dim); 466 dom = copy_equalities(bset, f_eq, n_eq);