Searched refs:in_A (Results 1 – 2 of 2) sorted by relevance
211 def in_A(s): function213 assert(not us.every_set(in_A))
212 auto in_A = [] (isl::set s) { in test_every_generic() local215 assert(!IS_TRUE(us.every_set(in_A))); in test_every_generic()