reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
744 if (!bset || !modulo || !residue) 747 fixed = isl_basic_set_plain_dim_is_fixed(bset, pos, residue); 755 ctx = isl_basic_set_get_ctx(bset); 756 total = isl_basic_set_total_dim(bset); 757 nparam = isl_basic_set_n_param(bset); 758 H = isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 1, total); 758 H = isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 1, total); 763 isl_seq_gcd(U->row[nparam + pos]+bset->n_eq, 764 total-bset->n_eq, modulo); 774 C = isl_mat_alloc(ctx, 1 + bset->n_eq, 1); 778 isl_mat_sub_neg(ctx, C->row + 1, bset->eq, bset->n_eq, 0, 0, 1); 778 isl_mat_sub_neg(ctx, C->row + 1, bset->eq, bset->n_eq, 0, 0, 1); 783 U1 = isl_mat_sub_alloc(U, nparam+pos, 1, 0, bset->n_eq); 790 bset = isl_basic_set_copy(bset); 790 bset = isl_basic_set_copy(bset); 791 bset = isl_basic_set_set_to_empty(bset); 791 bset = isl_basic_set_set_to_empty(bset); 792 isl_basic_set_free(bset);