Searched refs:not_in_A (Results 1 – 2 of 2) sorted by relevance
215 def not_in_A(s): function217 assert(not us.every_set(not_in_A))
217 auto not_in_A = [] (isl::set s) { in test_every_generic() local220 assert(!IS_TRUE(us.every_set(not_in_A))); in test_every_generic()