Lines Matching refs:evens
442 PresburgerSet evens{parsePoly("(x) : (x - 2 * (x floordiv 2) == 0)")}; in TEST() local
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() local
498 expectEmpty(PresburgerSet(evens).intersect(PresburgerSet(odds))); in TEST()
500 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()
509 expectEqual(evens, PresburgerSet(evensDefByIneq)); in TEST()