Searched defs:multiples3 (Results 1 – 1 of 1) sorted by relevance
448 PresburgerSet multiples3{parsePoly("(x) : (x - 3 * (x floordiv 3) == 0)")}; in TEST() local490 PresburgerSet multiples3{ in TEST() local