Searched defs:checked_set (Results 1 – 1 of 1) sorted by relevance
22 isl::checked::set checked_set; in check_conversion_null() local54 isl::checked::set checked_set(ctx, "{ S[i] : 0 <= i < 10 }"); in check_conversion_call() local69 isl::checked::set checked_set; in check_conversion_equal() local