HomeSort by: relevance | last modified time | path
    Searched defs:injective (Results 1 - 2 of 2) sorted by relevancy

  /src/external/mit/isl/dist/
isl_union_map.c 3262 * check whether each such collection is obviously injective
3278 int injective; local
3292 injective = plain_injective_on_range(part, pos + 1, n_range);
3293 if (injective < 0)
3295 if (!injective)
3345 int injective; local
3355 injective = separates(data.v, n, space, data.pos, n_range);
3357 return injective;
3389 /* Check if the given union_map is obviously injective.
3392 * injective and then check if all the ranges of these maps ar
    [all...]
isl_test.c 4444 int *injective = user; local
4446 *injective = isl_map_is_injective(map);
4449 if (*injective < 0 || !*injective)
4576 "generated schedule not injective on each statement",
5426 int test_plain_injective(isl_ctx *ctx, const char *str, int injective)
5436 if (test == injective)
5438 if (injective)
5440 "map not detected as injective", return -1);
5443 "map detected as injective", return -1)
    [all...]

Completed in 35 milliseconds