Lines Matching refs:checkSample
59 static void checkSample(bool hasSample, const IntegerPolyhedron &poly, in checkSample() function
125 checkSample(hasSample, in checkPermutationsSample()
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()
213 checkSample(true, 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()
228 checkSample(true, 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()
260 checkSample( in TEST()
282 checkSample( in TEST()
287 checkSample(false, 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()