Searched refs:zeroToThirteen (Results 1 – 1 of 1) sorted by relevance
546 PresburgerSet zeroToThirteen{parsePoly("(x) : (13 - x >= 0, x >= 0)")}; in TEST() local548 expectEqual(triangle2.subtract(zeroToThirteen), fifteen); in TEST()