Lines Matching defs:equal
734 * an inequality that is equal to *ineq up to the constant term,
751 * an inequality that is equal to the k'th inequality of "bmap"
791 * check if the contant term of "ineq" is greater than or equal
2278 * If group[i] is equal to i (or -1), then the group of i is i (or -1),
3063 * All exponents in *g are known to be smaller than or equal
3066 * That is, if *g is equal to
3070 * and "c" is equal to
3246 * discovered that some of these integer divisions are equal to
3675 int equal;
3692 equal = isl_map_plain_is_equal(map, context);
3693 if (equal < 0)
3695 if (equal)
3946 * If they are obviously equal, but not obviously empty, then we will
3989 * If the two inputs are (obviously) equal and not empty, then they are
4090 /* Is "v" equal to 0, 1 or -1?
4146 * of b should be equal to 1 or -1.
4329 * i.e., floor((f_l e_{u,0} + f_u e_{l,0})/g') is equal to the constant
4482 * div that is equal to div1 + m div2.
4487 * The coefficient of div2 is known to be equal to 1 or -1.
4634 * "i" and "j" of "bmap" equal to each other?
4642 /* Are inequality constraints "i" and "j" of "bmap" equal to each other,
4851 int equal;
4888 equal = isl_int_eq(l, u);
4893 return equal ? lower : bmap->n_ineq;
4971 * div, i.e., if one plus this sum is greater than or equal to