reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
777 hull = isl_basic_set_alloc(bset1->ctx, 0, 2 + 3 * dim, 0, 784 k = isl_basic_set_alloc_equality(hull); 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)); 789 isl_seq_cpy(hull->eq[k]+(i+1)*(1+dim), bset[i]->eq[j], 793 k = isl_basic_set_alloc_inequality(hull); 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)); 798 isl_seq_cpy(hull->ineq[k]+(i+1)*(1+dim), 801 k = isl_basic_set_alloc_inequality(hull); 804 isl_seq_clr(hull->ineq[k], 1+2+3*dim); 805 isl_int_set_si(hull->ineq[k][(i+1)*(1+dim)], 1); 808 k = isl_basic_set_alloc_equality(hull); 811 isl_seq_clr(hull->eq[k], 1+2+3*dim); 812 isl_int_set_si(hull->eq[k][j], -1); 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); 816 hull = isl_basic_set_set_rational(hull); 816 hull = isl_basic_set_set_rational(hull); 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)); 818 hull = isl_basic_set_remove_redundancies(hull); 818 hull = isl_basic_set_remove_redundancies(hull); 821 return hull; 825 isl_basic_set_free(hull);