Cross Reference: /src/external/mit/isl/dist/isl_transitive

Lines Matching refs:subset

110  *	A_1 \subset R
111  *	A_k \subset A_{k-1} \circ R		k >= 2
165  *	A \subset R \cup (A \circ R)
977 	isl_bool subset;
990 	subset = isl_set_is_subset(s, dom);
992 	if (subset < 0)
994 	if (!subset) {
1000 	subset = isl_set_is_subset(s, ran);
1003 	return isl_bool_not(subset);
1050 		isl_bool overlaps, subset;
1067 				subset = isl_set_is_subset(dom[j], C);
1068 				if (subset < 0)
1070 				if (subset)
1090 				subset = isl_set_is_subset(ran[j], C);
1091 				if (subset < 0)
1093 				if (subset)
1786  * is a subset of
1793  * *check_closed is set if the subset relation holds while
1801 	isl_bool applies, subset;
1813 	subset = isl_map_is_empty(map21);
1814 	if (subset < 0)
1816 	if (subset) {
1832 	subset = isl_map_is_subset(map21, map12);
1837 	if (subset)
1840 	return isl_bool_not(subset);
2338  *	app \subset (map \cup (map \circ app))

OpenGrok