reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
655 for (j = 0; j < set->p[0]->n_ineq; ++j) { 655 for (j = 0; j < set->p[0]->n_ineq; ++j) { 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); 673 for (j = 0; j < bset->n_eq; ++j) { 673 for (j = 0; j < bset->n_eq; ++j) { 673 for (j = 0; j < bset->n_eq; ++j) { 677 isl_int_mul(a, lower[0], bset->eq[j][1]); 678 isl_int_mul(b, lower[1], bset->eq[j][0]); 679 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 680 isl_seq_cpy(lower, bset->eq[j], 2); 681 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 682 isl_seq_neg(lower, bset->eq[j], 2); 685 isl_int_mul(a, upper[0], bset->eq[j][1]); 686 isl_int_mul(b, upper[1], bset->eq[j][0]); 687 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 688 isl_seq_neg(upper, bset->eq[j], 2); 689 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 690 isl_seq_cpy(upper, bset->eq[j], 2); 693 for (j = 0; j < bset->n_ineq; ++j) { 693 for (j = 0; j < bset->n_ineq; ++j) { 693 for (j = 0; j < bset->n_ineq; ++j) { 694 if (isl_int_is_pos(bset->ineq[j][1])) 696 if (isl_int_is_neg(bset->ineq[j][1])) 698 if (lower && isl_int_is_pos(bset->ineq[j][1])) { 699 isl_int_mul(a, lower[0], bset->ineq[j][1]); 700 isl_int_mul(b, lower[1], bset->ineq[j][0]); 702 isl_seq_cpy(lower, bset->ineq[j], 2); 704 if (upper && isl_int_is_neg(bset->ineq[j][1])) { 705 isl_int_mul(a, upper[0], bset->ineq[j][1]); 706 isl_int_mul(b, upper[1], bset->ineq[j][0]); 708 isl_seq_cpy(upper, bset->ineq[j], 2);