Searched refs:injective (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_union_map.c | 3185 int injective; in separates() local
3199 injective = plain_injective_on_range(part, pos + 1, n_range); in separates()
3200 if (injective < 0) in separates()
3202 if (!injective) in separates()
3252 int injective; in plain_injective_on_range() local
3262 injective = separates(data.v, n, space, data.pos, n_range); in plain_injective_on_range()
3264 return injective; in plain_injective_on_range()
|
| H A D | isl_test.c | 4374 int *injective = user; in check_injective() local
4376 *injective = isl_map_is_injective(map); in check_injective()
4379 if (*injective < 0 || !*injective) in check_injective()
5356 int test_plain_injective(isl_ctx *ctx, const char *str, int injective) in test_plain_injective() argument
5366 if (test == injective) in test_plain_injective()
5368 if (injective) in test_plain_injective()
|
| /llvm-project-15.0.7/polly/lib/External/isl/doc/ |
| H A D | user.pod | 12659 If the input schedule is injective, then
12663 If the input schedule is not injective, then an additional number
|