Searched refs:multiples3 (Results 1 – 1 of 1) sorted by relevance
448 PresburgerSet multiples3{parsePoly("(x) : (x - 3 * (x floordiv 3) == 0)")}; in TEST() local461 expectEqual(multiples3.intersect(evens), multiples6); in TEST()490 PresburgerSet multiples3{ in TEST() local505 expectEqual(multiples3.intersect(evens), multiples6); in TEST()