Lines Matching refs:parsePoly
203 checkSample(true, parsePoly("(x) : (7 * x >= 0, -7 * x + 5 >= 0)")); in TEST()
206 checkSample(false, parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)")); in TEST()
209 checkSample(true, parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)")); in TEST()
214 parsePoly("(x,y) : (x - 8 >= 0, -y + 40 >= 0, x - y == 0)")); in TEST()
218 checkSample(true, parsePoly("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, " in TEST()
223 checkSample(false, parsePoly("(x,y,z) : (-x + 10 >= 0, -y + 10 >= 0, " in TEST()
229 parsePoly("(q,r) : (r >= 0, -r + 3 >= 0, 4 * q + r - 7 == 0)")); in TEST()
233 checkSample(false, parsePoly("(q,r) : (4 * q + r - 7 == 0, r == 0)")); in TEST()
240 checkSample(true, parsePoly("(x,y) : (y >= 0, " in TEST()
262 parsePoly("(a,b,c,d,e) : (b + d - e >= 0, -b + c - d + e >= 0, " in TEST()
284 parsePoly("(x,y) : (x >= 0, -x + 100 >= 0, 3 * x - 3 * y + 1 == 0)")); in TEST()
288 parsePoly("(x,y) : (x >= 0, -x + 100 >= 0, " in TEST()
291 checkSample(true, parsePoly("(x,y) : (2 * x >= 0, -2 * x + 99 >= 0, " in TEST()
296 checkSample(true, parsePoly("(x,y) : (300000 * x - 299999 * y - 100000 >= 0, " in TEST()
410 checkSample(true, parsePoly("(x, y, z) : (2 * x - 1 >= 0, x - y - 1 == 0, " in TEST()
414 checkSample(false, parsePoly("(x, y, z) : (" in TEST()
420 checkSample(true, parsePoly("(x, y, z) : (" in TEST()
431 parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 4 >= 0)").isIntegerEmpty()); in TEST()
434 parsePoly("(x) : (5 * x - 1 >= 0, -5 * x + 9 >= 0)").isIntegerEmpty()); in TEST()
437 EXPECT_TRUE(parsePoly("(x,y,z) : (2 * y - 1 >= 0, -2 * y + 1 >= 0, " in TEST()
441 EXPECT_FALSE(parsePoly("(x,y,z) : (2 * x - 1 >= 0, -3 * x + 3 >= 0, " in TEST()
446 parsePoly("(x,y,z) : (2 * x - 1 >= 0, x - y - 1 == 0, y - z == 0)") in TEST()
454 EXPECT_TRUE(parsePoly("(x,y) : (x >= 0, -x + 10 >= 0, y >= 0, -y + 10 >= 0, " in TEST()
462 parsePoly("(x,y,z) : (x >= 0, -x + 100 >= 0, y >= 0, -y + 100 >= 0, " in TEST()
472 parsePoly( in TEST()
478 EXPECT_FALSE(parsePoly("(x)[s] : (x + s >= 0, x - s == 0)").isIntegerEmpty()); in TEST()
483 parsePoly("(x) : (x - 2 >= 0, -x + 2 >= 0, x - 2 == 0)"); in TEST()
491 parsePoly("(x,y) : (x - 3 >= 0, y - 2 >= 0, x - y == 0)"); in TEST()
501 parsePoly("(x,y,z) : (x - y == 0, x - z == 0, y - z == 0)"); in TEST()
509 parsePoly("(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) : (" in TEST()
561 IntegerPolyhedron poly5 = parsePoly( in TEST()
688 IntegerPolyhedron poly = parsePoly("(i) : (i mod 3 - 1 >= 0)"); in TEST()
709 parsePoly("(i, j, q) : (4*q - i - j + 2 >= 0, -4*q + i + j >= 0)"); in TEST()
723 IntegerPolyhedron poly = parsePoly("(i, j, q) : (-4*q + i + j == 0)"); in TEST()
733 IntegerPolyhedron poly = parsePoly("(i, j, q) : (4*q - i - j == 0)"); in TEST()
743 IntegerPolyhedron poly = parsePoly("(i, j, q) : (3*q + i + j - 2 == 0)"); in TEST()
757 parsePoly("(i, j, q, k) : (-3*k + i + j == 0, 4*q - " in TEST()
772 parsePoly("(x, q) : (x - 3 * q >= 0, -x + 3 * q + 3 >= 0)"); in TEST()
785 parsePoly("(x, q) : (-1 - 3*x - 6 * q >= 0, 6 + 3*x + 6*q >= 0)"); in TEST()
1080 parsePoly("(x, y, z) : (x + 10 >= 0, y + 40 >= 0, z + 30 >= 0)"), in TEST()
1083 parsePoly( in TEST()
1086 expectRationalLexMin(parsePoly("(x, y) : (3*x + 2*y + 10 >= 0, -3*y + 10 >= " in TEST()
1093 parsePoly( in TEST()
1097 expectRationalLexMin(parsePoly("(x, y) : (3*x + 2*y + 10 >= 0," in TEST()
1103 parsePoly("(x, y, z, w) : (3*x + 2*y + 10 >= 0, -4*x + 7*y + 10 >= 0," in TEST()
1114 parsePoly( in TEST()
1123 parsePoly("(x, y, z, w) : (3*x + 2*y + 10 >= 0, -4*x + 7*y + 10 >= 0," in TEST()
1130 parsePoly("(x, y, z) : (2*x + 5*y + 8*z - 10 >= 0," in TEST()
1135 parsePoly("(x) : (2*x >= 0, -x - 1 >= 0)")); in TEST()
1151 expectIntegerLexMin(parsePoly("(x, y, z) : (2*x + 13 >= 0, 4*y - 3*x - 2 >= " in TEST()
1156 parsePoly("(x, y, z) : (2*x + 13 >= 0, 4*y - 3*x - 2 " in TEST()
1165 IntegerPolyhedron poly = parsePoly(polyStr); in expectSymbolicIntegerLexMin()
1400 parsePoly("(x, y, z) : (x >= 0, -3*x + 10 >= 0, 2*y + 11 >= 0," in TEST()
1407 parsePoly("(x, y, z) : (x >= 0, -3*x + 10 >= 0, 5*y - 11 >= 0," in TEST()
1413 parsePoly("(x, y, z) : (-3*x + 10 >= 0, 5*y - 11 >= 0," in TEST()
1421 parsePoly("(x, y) : (x + y >= 0, -x - y + 10 >= 0, x - y >= 0," in TEST()
1431 parsePoly("(x, y) : (x + y >= 0, -x - y + 20 >= 0, x - y >= 0," in TEST()
1438 parsePoly("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"), in TEST()
1443 IntegerPolyhedron poly1 = parsePoly("(x) : ((x floordiv 2) - x == 0)"); in TEST()
1447 IntegerPolyhedron poly2 = parsePoly( in TEST()
1452 IntegerPolyhedron poly3 = parsePoly("(x, y) : (2*x - y >= 0, y - 3*x >= 0)"); in TEST()