Lines Matching refs:generalized_affine_image
46 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01()
69 oct.generalized_affine_image(A, EQUAL, A + 2); in test02()
92 oct.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
120 oct.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x - 2, 2); in test04()
147 oct.generalized_affine_image(y, GREATER_OR_EQUAL, 2*x - 2, 2); in test05()
171 oct.generalized_affine_image(y, LESS_OR_EQUAL, Linear_Expression(2)); in test06()
192 oct.generalized_affine_image(x, EQUAL, Linear_Expression(6)); in test07()
216 oct.generalized_affine_image(A, LESS_OR_EQUAL, Linear_Expression(3)); in test08()
240 oct.generalized_affine_image(B, EQUAL, Linear_Expression(5)); in test09()
264 oct.generalized_affine_image(A, GREATER_OR_EQUAL, Linear_Expression(2)); in test10()
293 oct.generalized_affine_image(C, LESS_OR_EQUAL, C + 1); in test11()
319 oct.generalized_affine_image(C, EQUAL, C + 1); in test12()
347 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test13()
375 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3); in test14()
401 oct.generalized_affine_image(B, EQUAL, C + 3); in test15()
434 oct.generalized_affine_image(B, LESS_OR_EQUAL, B + 3); in test16()
468 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3, -1); in test17()
502 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 3, -1); in test18()
536 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 3); in test19()
570 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 3, -1); in test20()