22 	isl::checked::set checked_set;  in check_conversion_null()
23 	isl::set set;  in check_conversion_null()
27 		set = isl::uncheck(checked_set);  in check_conversion_null()
29 	} catch (const isl::exception &e) {  in check_conversion_null()
38 static void f_checked(isl::checked::set set)  in f_checked()
44 static void f_unchecked(isl::set set)  in f_unchecked()
53 	isl::set set(ctx, "{ S[i] : 0 <= i < 10 }");  in check_conversion_call()
54 	isl::checked::set checked_set(ctx, "{ S[i] : 0 <= i < 10 }");  in check_conversion_call()
57 	f_checked(isl::check(set));  in check_conversion_call()
58 	f_unchecked(isl::uncheck(checked_set));  in check_conversion_call()
67 	isl::set set(ctx, "{ S[i] : 0 <= i < 10 }");  in check_conversion_equal()
68 	isl::set set2;  in check_conversion_equal()
69 	isl::checked::set checked_set;  in check_conversion_equal()
71 	checked_set = isl::check(set);  in check_conversion_equal()
72 	set2 = isl::uncheck(checked_set);  in check_conversion_equal()