reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
620 if (!morph || !bset) 623 isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim), 623 isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim), 630 bset->n_div + max_stride, bset->n_eq + max_stride, bset->n_ineq); 630 bset->n_div + max_stride, bset->n_eq + max_stride, bset->n_ineq); 630 bset->n_div + max_stride, bset->n_eq + max_stride, bset->n_ineq); 632 for (i = 0; i < bset->n_div; ++i) 636 mat = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 636 mat = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 636 mat = isl_mat_sub_alloc6(bset->ctx, bset->eq, 0, bset->n_eq, 641 for (i = 0; i < bset->n_eq; ++i) { 646 isl_seq_scale(res->eq[k] + mat->n_col, bset->eq[i] + mat->n_col, 647 morph->inv->row[0][0], bset->n_div); 651 mat = isl_mat_sub_alloc6(bset->ctx, bset->ineq, 0, bset->n_ineq, 651 mat = isl_mat_sub_alloc6(bset->ctx, bset->ineq, 0, bset->n_ineq, 651 mat = isl_mat_sub_alloc6(bset->ctx, bset->ineq, 0, bset->n_ineq, 656 for (i = 0; i < bset->n_ineq; ++i) { 662 bset->ineq[i] + mat->n_col, 663 morph->inv->row[0][0], bset->n_div); 667 mat = isl_mat_sub_alloc6(bset->ctx, bset->div, 0, bset->n_div, 667 mat = isl_mat_sub_alloc6(bset->ctx, bset->div, 0, bset->n_div, 667 mat = isl_mat_sub_alloc6(bset->ctx, bset->div, 0, bset->n_div, 672 for (i = 0; i < bset->n_div; ++i) { 674 morph->inv->row[0][0], bset->div[i][0]); 677 bset->div[i] + 1 + mat->n_col, 678 morph->inv->row[0][0], bset->n_div); 684 if (isl_basic_set_is_rational(bset)) 693 isl_basic_set_free(bset); 698 isl_basic_set_free(bset);