reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
26 ctx, "{[i] -> [floor(i/2), i - 2 * floor(i/2)] : 0 <= i < 3 }"); 30 EXPECT_TRUE(Result.is_equal(isl::set(ctx, "{[0]}"))); 38 ctx, "{[i] -> [floor(i/2), i - 2 * floor(i/2)] : 1 <= i < 4 }"); 42 EXPECT_TRUE(Result.is_equal(isl::set(ctx, "{[1]}"))); 50 ctx, "{[i] -> [floor(i/2), i - 2 * floor(i/2)] : 1 <= i < 6 }"); 54 EXPECT_TRUE(Result.is_equal(isl::set(ctx, "{[1]; [2]}"))); 57 isl_ctx_free(ctx);