Lines Matching refs:generalized_affine_image
45 oct.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01()
71 oct.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02()
97 oct.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03()
122 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04()
149 oct.generalized_affine_image(A, GREATER_OR_EQUAL, 2*A + 3, 2); in test05()
178 oct.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06()
204 oct.generalized_affine_image(C, EQUAL, 5*C - 3, 4); in test07()
232 oct.generalized_affine_image(B, GREATER_OR_EQUAL, -B - 2, 3); in test08()
259 oct.generalized_affine_image(B, LESS_OR_EQUAL, 4*A - 2*C + 3, -3); in test09()
285 oct.generalized_affine_image(B, EQUAL, 2*A - 4*B + C + 3, 3); in test10()
313 oct.generalized_affine_image(y, LESS_OR_EQUAL, y + 1, d); in test11()
337 oct.generalized_affine_image(x, LESS_THAN, x + 1); in test12()
361 oct.generalized_affine_image(x, GREATER_THAN, x + 1); in test13()
387 oct.generalized_affine_image(y, GREATER_OR_EQUAL, z); in test14()
413 oct.generalized_affine_image(z, GREATER_OR_EQUAL, y); in test15()
439 oct.generalized_affine_image(A + B, GREATER_OR_EQUAL, B + C); in test16()
465 oct.generalized_affine_image(B + C, LESS_OR_EQUAL, A + 1); in test17()
490 oct.generalized_affine_image(y - 3, GREATER_THAN, x + 1); in test18()
525 oct.generalized_affine_image(B, GREATER_OR_EQUAL, C + 3, -1); in test19()
559 oct.generalized_affine_image(B, GREATER_OR_EQUAL, C + 3); in test20()