reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
235 dual = isl_basic_set_alloc_space(space, bset->n_eq + bset->n_ineq, 237 dual = isl_basic_set_set_rational(dual); 237 dual = isl_basic_set_set_rational(dual); 240 k = isl_basic_set_alloc_div(dual); 243 isl_int_set_si(dual->div[k][0], 0); 247 k = isl_basic_set_alloc_equality(dual); 250 isl_seq_clr(dual->eq[k], 1 + shift + total); 251 isl_int_set_si(dual->eq[k][1 + shift + i], -1); 253 isl_int_set(dual->eq[k][1 + shift + total + j], 256 isl_int_set(dual->eq[k][1 + shift + total + bset->n_eq + j], 261 k = isl_basic_set_alloc_inequality(dual); 264 isl_seq_clr(dual->ineq[k], 266 isl_int_set_si(dual->ineq[k][1 + shift + total + bset->n_eq + i], 1); 270 k = isl_basic_set_alloc_inequality(dual); 273 isl_seq_clr(dual->ineq[k], 2 + total); 274 isl_int_set_si(dual->ineq[k][1], 1); 276 isl_int_neg(dual->ineq[k][2 + total + j], 279 isl_int_neg(dual->ineq[k][2 + total + bset->n_eq + j], 283 dual = isl_basic_set_remove_divs(dual); 283 dual = isl_basic_set_remove_divs(dual); 284 dual = isl_basic_set_simplify(dual); 284 dual = isl_basic_set_simplify(dual); 285 dual = isl_basic_set_finalize(dual); 285 dual = isl_basic_set_finalize(dual); 288 return dual; 291 isl_basic_set_free(dual);