reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
776 dim = isl_basic_set_n_dim(bset1); 777 hull = isl_basic_set_alloc(bset1->ctx, 0, 2 + 3 * dim, 0, 778 1 + dim + bset1->n_eq + bset2->n_eq, 787 isl_seq_clr(hull->eq[k], (i+1) * (1+dim)); 788 isl_seq_clr(hull->eq[k]+(i+2)*(1+dim), (1-i)*(1+dim)); 788 isl_seq_clr(hull->eq[k]+(i+2)*(1+dim), (1-i)*(1+dim)); 789 isl_seq_cpy(hull->eq[k]+(i+1)*(1+dim), bset[i]->eq[j], 790 1+dim); 796 isl_seq_clr(hull->ineq[k], (i+1) * (1+dim)); 797 isl_seq_clr(hull->ineq[k]+(i+2)*(1+dim), (1-i)*(1+dim)); 797 isl_seq_clr(hull->ineq[k]+(i+2)*(1+dim), (1-i)*(1+dim)); 798 isl_seq_cpy(hull->ineq[k]+(i+1)*(1+dim), 799 bset[i]->ineq[j], 1+dim); 804 isl_seq_clr(hull->ineq[k], 1+2+3*dim); 805 isl_int_set_si(hull->ineq[k][(i+1)*(1+dim)], 1); 807 for (j = 0; j < 1+dim; ++j) { 811 isl_seq_clr(hull->eq[k], 1+2+3*dim); 813 isl_int_set_si(hull->eq[k][1+dim+j], 1); 814 isl_int_set_si(hull->eq[k][2*(1+dim)+j], 1); 817 hull = isl_basic_set_remove_dims(hull, isl_dim_set, dim, 2*(1+dim)); 817 hull = isl_basic_set_remove_dims(hull, isl_dim_set, dim, 2*(1+dim));