Home | History | Annotate | Download | only in dist

Lines Matching defs:involves

2639 /* Return true if the definition of the given div (recursively) involves
2654 		isl_bool involves;
2658 		involves = div_involves_vars(bmap, i, first, n);
2659 		if (involves < 0 || involves)
2660 			return involves;
2877 		isl_bool involves;
2879 		involves = div_involves_vars(bmap, i, first, n);
2880 		if (involves < 0)
2882 		if (!involves)
2974 		isl_bool involves = isl_basic_map_involves_dims(map->p[i],
2976 		if (involves < 0 || involves)
2977 			return involves;
4695 /* If "set" involves a parameter with identifier "id",
4704 /* If "set" involves any of the parameters with identifiers in "list",
7721 /* Given a basic set "bset" that only involves parameters and existentially
7723  * that only involves parameters.  If there is no such equality then
7752  * The input only involves parameters and existentially quantified variables.
10318  * In particular, if a constraint involves later variables than another
13826  * If bmap is not a rational map and if F(y) involves any denominators
14388 		isl_bool known, involves;
14395 		involves = div_involves_vars(bmap, i, v_out, v_div - v_out);
14396 		if (involves < 0 || involves)
14397 			return isl_bool_not(involves);