Searched refs:test_plain_injective (Results 1 - 1 of 1) sorted by relevance
| /haiku-buildtools/isl/ |
| H A D | isl_test.c | 2929 int test_plain_injective(isl_ctx *ctx, const char *str, int injective) function
2953 if (test_plain_injective(ctx, "{S[i,j] -> A[0]; T[i,j] -> B[1]}", 0))
2955 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> B[0]}", 1))
2957 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[1]}", 1))
2959 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[0]}", 0))
2961 if (test_plain_injective(ctx, "{S[i] -> A[i,0]; T[i] -> A[i,1]}", 1))
2963 if (test_plain_injective(ctx, "{S[i] -> A[i]; T[i] -> A[i]}", 0))
2965 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[0,1]}", 1))
2967 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[1,0]}", 1))
2971 if (test_plain_injective(ct
[all...] |
Completed in 48 milliseconds