isl/dist/isl_tab_pip.c

60  * Before doing any real work, we check if all the parameters
76 	/* add equality; check is 1 if eq may not be valid;
80 			int check, int update);
81 	/* add inequality; check is 1 if ineq may not be valid;
85 			int check, int update);
86 	/* check sign of ineq based on previous information.
91 	/* check if inequality maintains feasibility */
103 	/* check if context has already been determined to be empty */
105 	/* check if context is still usable */
217  * "check" is set if "eq" is not known to be a valid constraint.
220 static void sol_context_add_eq(struct isl_sol *sol, isl_int *eq, int check,
223 	sol->context->op->add_eq(sol->context, eq, check, update);
229  * "check" is set if "ineq" is not known to be a valid constraint.
232 static void sol_context_add_ineq(struct isl_sol *sol, isl_int *ineq, int check,
237 	sol->context->op->add_ineq(sol->context, ineq, check, update);
484  * Combine "ma1" and "ma2" with "dom" and check if the results are the same.
515  * Also check if the two sets of affine functions are equal when
1103  * Otherwise, we check whether the constant is negative and
1152  * Otherwise, we check whether the constant is non-negative and
1517  * We first check if we can eliminate a variable or a parameter.
1782  * For each part, we check whether the coefficients in that part
1816  * For each part, we check whether the coefficients in that part
2174  * We first check if we already have such a div and if not, we create one.
2515 		int check, int update)
2522 	if (check) {
2538 		int check, int update)
2544 	if (check) {
2735 /* For each variable in the context tableau, check if the variable can
3136  * If "check" is set, then we check if the context is empty after
3138  * If "update" is set, then we check if the samples are still valid.
3145 		int check, int update)
3163 	if (check) {
3229 		int check, int update)
3237 	if (check) {
3822  * If none of these cases hold, we check the value of the row for each
3832  * Otherwise, we perform a check for positive and/or negative
4068  * Otherwise, we check if all values of the sample point of the tableau
4235  * We currently only check that "sol" is not in an error state
4262  * of the context.  When we return, we check if there are any
4610  * Furthermore, check that each of the input variables that occur
4765  * of the bounds in "cst", check whether we need to split the domain
4813  * of the bounds in "cst", check whether we need to split the domain
4827  * of the bounds in "cst", check whether we need to split the domain
5826  * of some bounds, check whether we need to plug in the expression
5829  * In particular, check if the last input variable appears in any