isl/dist/isl_constraint.c

632 		isl_die(ctx, isl_error_invalid, "cannot negate equality",
672 /* Is "constraint" an equality that corresponds to integer division "div"?
678  * is the equality of the form
683  * that this is a valid equality constraint, the constant c' necessarily
689 	isl_bool equality;
691 	equality = isl_constraint_is_equality(constraint);
692 	if (equality < 0 || !equality)
693 		return equality;
759  * in terms of earlier dimensions through an equality?
761  * If so, and if c is not NULL, then return a copy of this equality in *c.
791  * in terms of earlier dimensions through an equality?
793  * If so, and if c is not NULL, then return a copy of this equality in *c.
1124  * set to the corresponding equality.
1129  * We first check if the variable is involved in any equality.
1245  * or an equality constraint
1269 /* Construct an inequality (eq = 0) or equality (eq = 1) constraint from "aff".
1289 /* Construct an equality constraint equating the given affine expression