isl/dist/isl_transitive_closure.c

153  * the power of "map", possibly after projecting out the power (if "project"
156  * If "project" is set and if "steps" can only result in acyclic paths,
171  * closure, then we can simply project out these coordinates first.
174 	__isl_take isl_map *app, int project)
180 	if (!project)
774 	__isl_keep isl_map *map, int *project)
827 	if (project && *project) {
828 		*project = is_acyclic(isl_map_copy(path));
829 		if (*project < 0)
869 	__isl_keep isl_map *map, isl_bool *exact, int project)
902 					check ? &project : NULL);
907 				      project)) < 0)
919 /* Call construct_component and, if "project" is set, project out
924 	__isl_keep isl_map *map, isl_bool *exact, int project)
933 	app = construct_component(space, map, exact, project);
934 	if (project) {
950 	int project = 1;
958 	path = construct_extended_path(space, map, &project);
961 	if ((*exact = check_exactness(map, isl_map_copy(app), project)) < 0)
1308 	__isl_keep isl_map *map, isl_bool *exact, int project)
1319 	if (!project)
1321 							project);
1327 							project);
1426 	return construct_projected_component(space, map, exact, project);
1591  * i.e., when "project" is not set, then the result should have the
1600 	isl_bool *exact, int project, int *group, int n)
1611 		return incremental_closure(space, map, exact, project);
1633 	if (!project && add_length(map, grid, n) < 0)
1733  * if we want to compute the power, i.e., when "project" is not set.
1739 	__isl_keep isl_map *map, isl_bool *exact, int project)
1749 		return incremental_closure(space, map, exact, project);
1760 	return floyd_warshall_with_groups(space, map, exact, project, group, n);
1854  * If "project" is set, then these final coordinates are not included,
1872  * if "project" is set.
1881 	int project)
1893 		return floyd_warshall(space, map, exact, project);
1908 	if (project)
1924 						comp, exact, project);
1944 			return floyd_warshall(space, map, orig_exact, project);
1979  * if "project" is set.
1981  * If "project" is not set, then
1989 	isl_bool *exact, int project)
2003 					exact, project);
2013  * If project is set, then we are actually interested in the transitive
2019 	isl_bool *exact, int project)
2029 	app = construct_power(map, exact, project);
2554  * it to project out the lengths of the paths instead of equating