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