reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
630 for (i = 0; i < set->n; ++i) { 631 set->p[i] = isl_basic_set_simplify(set->p[i]); 631 set->p[i] = isl_basic_set_simplify(set->p[i]); 632 if (!set->p[i]) 635 set = isl_set_remove_empty_parts(set); 635 set = isl_set_remove_empty_parts(set); 636 if (!set) 638 isl_assert(set->ctx, set->n > 0, goto error); 638 isl_assert(set->ctx, set->n > 0, goto error); 639 c = isl_mat_alloc(set->ctx, 2, 2); 643 if (set->p[0]->n_eq > 0) { 644 isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error); 644 isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error); 647 if (isl_int_is_pos(set->p[0]->eq[0][1])) { 648 isl_seq_cpy(lower, set->p[0]->eq[0], 2); 649 isl_seq_neg(upper, set->p[0]->eq[0], 2); 651 isl_seq_neg(lower, set->p[0]->eq[0], 2); 652 isl_seq_cpy(upper, set->p[0]->eq[0], 2); 655 for (j = 0; j < set->p[0]->n_ineq; ++j) { 656 if (isl_int_is_pos(set->p[0]->ineq[j][1])) { 658 isl_seq_cpy(lower, set->p[0]->ineq[j], 2); 661 isl_seq_cpy(upper, set->p[0]->ineq[j], 2); 668 for (i = 0; i < set->n; ++i) { 669 struct isl_basic_set *bset = set->p[i]; 719 hull = isl_basic_set_alloc(set->ctx, 0, 1, 0, 0, 2); 732 isl_set_free(set); 736 isl_set_free(set);