Searched refs:evens (Results 1 – 2 of 2) sorted by relevance
454 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()456 expectEqual(evens.unionSet(odds), in TEST()458 expectEqual(evens.complement(), odds); in TEST()459 expectEqual(odds.complement(), evens); in TEST()461 expectEqual(multiples3.intersect(evens), multiples6); in TEST()482 PresburgerSet evens{ in TEST() local500 expectEqual(evens.unionSet(odds), in TEST()502 expectEqual(evens.complement(), odds); in TEST()503 expectEqual(odds.complement(), evens); in TEST()505 expectEqual(multiples3.intersect(evens), multiples6); in TEST()[all …]
99 // Can use bins {0-3} but only evens (0 and 2).