Lines Matching defs:strict
87 * strict is 1 if saturation should be treated as a positive sign.
90 isl_int *ineq, int strict);
2570 int strict)
2586 if (sgn > 0 || (sgn == 0 && strict)) {
2607 isl_int *ineq, int strict)
2610 return tab_ineq_sign(clex->tab, ineq, strict);
3260 isl_int *ineq, int strict)
3263 return tab_ineq_sign(cgbr->tab, ineq, strict);
3786 /* Check whether the inequality represented by vec is strict over the integers,
3795 int strict = 0;
3800 strict = !isl_int_is_divisible_by(vec->el[0], gcd);
3806 return strict;
3871 int strict;
3891 strict = is_strict(ineq);
3894 critical || strict);
3919 if (!critical && !strict)