reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
228 if (isl_basic_set_plain_is_empty(bset)) { 229 isl_basic_set_free(bset); 233 total = isl_basic_set_total_dim(bset); 235 dual = isl_basic_set_alloc_space(space, bset->n_eq + bset->n_ineq, 235 dual = isl_basic_set_alloc_space(space, bset->n_eq + bset->n_ineq, 236 total, bset->n_ineq + (shift > 0)); 239 for (i = 0; i < bset->n_eq + bset->n_ineq; ++i) { 239 for (i = 0; i < bset->n_eq + bset->n_ineq; ++i) { 252 for (j = 0; j < bset->n_eq; ++j) 254 bset->eq[j][1 + i]); 255 for (j = 0; j < bset->n_ineq; ++j) 256 isl_int_set(dual->eq[k][1 + shift + total + bset->n_eq + j], 257 bset->ineq[j][1 + i]); 260 for (i = 0; i < bset->n_ineq; ++i) { 265 1 + shift + total + bset->n_eq + bset->n_ineq); 265 1 + shift + total + bset->n_eq + bset->n_ineq); 266 isl_int_set_si(dual->ineq[k][1 + shift + total + bset->n_eq + i], 1); 275 for (j = 0; j < bset->n_eq; ++j) 277 bset->eq[j][0]); 278 for (j = 0; j < bset->n_ineq; ++j) 279 isl_int_neg(dual->ineq[k][2 + total + bset->n_eq + j], 280 bset->ineq[j][0]); 287 isl_basic_set_free(bset); 290 isl_basic_set_free(bset);