Lines Matching defs:rel
44 Poly_Gen_Relation rel = ph.relation_with(g); in test01() local
64 Poly_Gen_Relation rel = ph.relation_with(g); in test02() local
82 Poly_Gen_Relation rel = ph.relation_with(g); in test03() local
107 Poly_Gen_Relation rel = ph.relation_with(g); in test04() local
127 Poly_Con_Relation rel = ph.relation_with(A >= 0); in test05() local
147 Poly_Con_Relation rel = ph.relation_with(c); in test06() local
161 Poly_Con_Relation rel = Poly_Con_Relation::nothing(); in test07() local
245 Poly_Con_Relation rel = ph.relation_with(c); in test08() local
257 Poly_Con_Relation rel = ph.relation_with(Linear_Expression(0) > 0); in test09() local
272 Poly_Con_Relation rel = ph.relation_with(Linear_Expression(0) > 1); in test10() local
286 Poly_Con_Relation rel = ph.relation_with(Linear_Expression(1) > 0); in test11() local
302 Poly_Con_Relation rel = ph.relation_with(A > 0); in test12() local
321 Poly_Con_Relation rel = ph.relation_with(A + B > 3); in test13() local
339 Poly_Con_Relation rel = ph.relation_with(A + B > 3); in test14() local
359 Poly_Con_Relation rel = ph.relation_with(A + 2*B < 10); in test15() local
379 Poly_Con_Relation rel = ph.relation_with(A + B > 1); in test16() local
396 Poly_Gen_Relation rel = ph.relation_with(point(2*A)); in test17() local
418 Poly_Con_Relation rel = ph.relation_with(B == 0); in test18() local
437 Poly_Gen_Relation rel = ph.relation_with(ray(-A)); in test19() local
453 Poly_Gen_Relation rel = ph.relation_with(line(A)); in test20() local