44 static void test_return_bool(isl::ctx ctx)  in test_return_bool()  argument
46 	isl::set empty(ctx, "{ : false }");  in test_return_bool()
47 	isl::set univ(ctx, "{ : }");  in test_return_bool()
70 static void test_return(isl::ctx ctx)  in test_return()  argument
72 	test_return_obj(ctx);  in test_return()
73 	test_return_int(ctx);  in test_return()
74 	test_return_bool(ctx);  in test_return()
75 	test_return_string(ctx);  in test_return()
85 static void test_foreach(isl::ctx ctx)  in test_foreach()  argument
87 	isl::set s(ctx, "{ [0]; [1]; [2] }");  in test_foreach()
122 static void test_every(isl::ctx ctx)  in test_every()  argument
124 	isl::union_set us(ctx, "{ A[i]; B[j] }");  in test_every()
126 	test_every_generic(ctx);  in test_every()
146 static void test_exception(isl::ctx ctx)  in test_exception()  argument
148 	isl::multi_union_pw_aff mupa(ctx, "[]");  in test_exception()
176 static void test_schedule_tree(isl::ctx ctx)  in test_schedule_tree()  argument
178 	auto root = test_schedule_tree_generic(ctx);  in test_schedule_tree()
229 	auto filters = isl::union_set(ctx, "{}");  in test_schedule_tree()
247 static void test_ast_build(isl::ctx ctx)  in test_ast_build()  argument
249 	auto schedule = test_ast_build_generic(ctx);  in test_ast_build()
261 	auto build = isl::ast_build(ctx);  in test_ast_build()
294 static void test_typed(isl::ctx ctx)  in test_typed()  argument
298 	isl::typed::map<ST, AR> access(ctx, "{ S[i, j] -> A[i] }");  in test_typed()
299 	isl::typed::set<ST> instances(ctx, "{ S[i, j] : 0 <= i, j < 10 }");  in test_typed()
325 	isl_ctx *ctx = isl_ctx_alloc();  in main()  local
327 	isl_options_set_on_error(ctx, ISL_ON_ERROR_ABORT);  in main()
329 	test_pointer(ctx);  in main()
330 	test_constructors(ctx);  in main()
331 	test_parameters(ctx);  in main()
332 	test_return(ctx);  in main()
333 	test_foreach(ctx);  in main()
334 	test_every(ctx);  in main()
335 	test_exception(ctx);  in main()
336 	test_space(ctx);  in main()
337 	test_schedule_tree(ctx);  in main()
338 	test_ast_build(ctx);  in main()
339 	test_ast_build_expr(ctx);  in main()
340 	test_typed(ctx);  in main()
342 	isl_ctx_free(ctx);  in main()