reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
112 total = isl_basic_set_total_dim(bset); 113 bset = isl_basic_set_extend_constraints(bset, 0, 2); 113 bset = isl_basic_set_extend_constraints(bset, 0, 2); 115 k = isl_basic_set_alloc_inequality(bset); 118 isl_seq_cpy(bset->ineq[k], f, 1 + total); 119 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l); 119 isl_int_sub(bset->ineq[k][0], bset->ineq[k][0], l); 121 k = isl_basic_set_alloc_inequality(bset); 124 isl_seq_neg(bset->ineq[k], f, 1 + total); 125 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u); 125 isl_int_add(bset->ineq[k][0], bset->ineq[k][0], u); 127 return bset; 129 isl_basic_set_free(bset);