reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
666 isl_int_init(a); 677 isl_int_mul(a, lower[0], bset->eq[j][1]); 679 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 681 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 685 isl_int_mul(a, upper[0], bset->eq[j][1]); 687 if (isl_int_lt(a, b) && isl_int_is_pos(bset->eq[j][1])) 689 if (isl_int_gt(a, b) && isl_int_is_neg(bset->eq[j][1])) 699 isl_int_mul(a, lower[0], bset->ineq[j][1]); 701 if (isl_int_lt(a, b)) 705 isl_int_mul(a, upper[0], bset->ineq[j][1]); 707 if (isl_int_gt(a, b)) 716 isl_int_clear(a);