Lines Matching defs:project

146  * the power of "map", possibly after projecting out the power (if "project"
149 * If "project" is set and if "steps" can only result in acyclic paths,
164 * closure, then we can simply project out these coordinates first.
167 int project)
173 if (!project)
749 __isl_keep isl_map *map, int *project)
800 if (project && *project) {
801 *project = is_acyclic(isl_map_copy(path));
802 if (*project < 0)
851 __isl_keep isl_map *map, int *exact, int project)
878 exact && *exact ? &project : NULL);
883 project)) < 0)
895 /* Call construct_component and, if "project" is set, project out
900 __isl_keep isl_map *map, int *exact, int project)
909 app = construct_component(dim, map, exact, project);
910 if (project) {
925 int project = 1;
933 path = construct_extended_path(dim, map, &project);
936 if ((*exact = check_exactness(map, isl_map_copy(app), project)) < 0)
1281 __isl_keep isl_map *map, int *exact, int project)
1292 if (!project)
1293 return construct_projected_component(dim, map, exact, project);
1298 return construct_projected_component(dim, map, exact, project);
1393 return construct_projected_component(dim, map, exact, project);
1549 * i.e., when "project" is not set, then the result should have the
1557 __isl_keep isl_map *map, int *exact, int project, int *group, int n)
1568 return incremental_closure(dim, map, exact, project);
1590 if (!project && add_length(map, grid, n) < 0)
1690 * if we want to compute the power, i.e., when "project" is not set.
1696 __isl_keep isl_map *map, int *exact, int project)
1706 return incremental_closure(dim, map, exact, project);
1717 return floyd_warshall_with_groups(dim, map, exact, project, group, n);
1811 * If "project" is set, then these final coordinates are not included,
1829 * if "project" is set.
1837 __isl_keep isl_map *map, int *exact, int project)
1849 return floyd_warshall(dim, map, exact, project);
1864 if (project)
1880 comp, exact, project);
1900 return floyd_warshall(dim, map, orig_exact, project);
1935 * if "project" is set.
1937 * If "project" is not set, then
1945 int *exact, int project)
1961 exact, project);
1971 * If project is set, then we are actually interested in the transitive
1977 int *exact, int project)
1991 app = construct_power(map, exact, project);
2563 * it to project out the lengths of the paths instead of equating