reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
6406 str = "[N] -> { [i] : 0 <= i <= min(N,10) }"; 6407 set = isl_set_read_from_str(ctx, str); 6410 str = "[N] -> { [10] : N >= 10; [N] : N <= 9 and N >= 0 }"; 6411 set2 = isl_set_read_from_str(ctx, str); 6420 str = "[N] -> { [i] : 0 <= i <= max(2N,N+6) }"; 6421 set = isl_set_read_from_str(ctx, str); 6424 str = "[N] -> { [6 + N] : -6 <= N <= 5; [2N] : N >= 6 }"; 6425 set2 = isl_set_read_from_str(ctx, str); 6434 str = "[N] -> { [i] : 0 <= i <= 2N or 0 <= i <= N+6 }"; 6435 set = isl_set_read_from_str(ctx, str); 6438 str = "[N] -> { [6 + N] : -6 <= N <= 5; [2N] : N >= 6 }"; 6439 set2 = isl_set_read_from_str(ctx, str); 6448 str = "[N,M] -> { [i,j] -> [([i/16]), i%16, ([j/16]), j%16] : " 6450 map = isl_map_read_from_str(ctx, str); 6455 str = "[N,M] -> { [([(N-1)/16])] : M,N > 0 }"; 6456 set2 = isl_set_read_from_str(ctx, str); 6463 str = "[N,M] -> { [t] : t = min(M-1,15) and M,N > 0 }"; 6464 set2 = isl_set_read_from_str(ctx, str); 6478 str = "[n] -> { [a, b, c] : c >= -4a - 2b and " 6481 set = isl_set_read_from_str(ctx, str); 6484 str = "[n] -> { [(0)] : n >= 1 }"; 6485 set2 = isl_set_read_from_str(ctx, str); 6496 str = "[n] -> { [t,a] : 1 = 0 }"; 6497 set = isl_set_read_from_str(ctx, str); 6500 str = "[n] -> { [t] : 1 = 0 }"; 6501 set2 = isl_set_read_from_str(ctx, str);