Searched refs:gs_known_result (Results 1 – 7 of 7) sorted by relevance
54 Generator_System gs_known_result; in test01() local55 gs_known_result.insert(closure_point(0*x + 0*y)); in test01()56 gs_known_result.insert(closure_point(0*x + 3*y)); in test01()57 gs_known_result.insert(point(3*x + 0*y)); in test01()58 gs_known_result.insert(point(3*x + 3*y)); in test01()60 NNC_Polyhedron known_result(gs_known_result); in test01()130 Generator_System gs_known_result; in test03() local131 gs_known_result.insert(point(0*x + 5*y)); in test03()132 gs_known_result.insert(point(4*x + 3*y)); in test03()133 gs_known_result.insert(ray(0*x + 1*y)); in test03()[all …]
44 Generator_System gs_known_result; in test01() local45 gs_known_result.insert(point(-2*A)); in test01()46 gs_known_result.insert(ray(A + B)); in test01()47 gs_known_result.insert(point(-A)); in test01()49 C_Polyhedron known_result(gs_known_result); in test01()344 Generator_System gs_known_result; in test13() local345 gs_known_result.insert(point(A)); in test13()346 gs_known_result.insert(point(2*A)); in test13()347 gs_known_result.insert(line(B)); in test13()349 C_Polyhedron known_result(gs_known_result); in test13()
55 Generator_System gs_known_result; in test01() local56 gs_known_result.insert(point()); in test01()57 gs_known_result.insert(point(3*x + 3*y, 2)); in test01()58 gs_known_result.insert(point(4*x)); in test01()59 gs_known_result.insert(point(5*x + 3*y, 2)); in test01()61 C_Polyhedron known_result(gs_known_result); in test01()
55 Generator_System gs_known_result; in test01() local56 gs_known_result.insert(point()); in test01()57 gs_known_result.insert(point(-x + y)); in test01()58 gs_known_result.insert(ray(x)); in test01()59 gs_known_result.insert(ray(y)); in test01()61 C_Polyhedron known_result(gs_known_result); in test01()
155 Generator_System gs_known_result; in test05() local156 gs_known_result.insert(point()); in test05()157 gs_known_result.insert(ray(x + y)); in test05()158 C_Polyhedron known_result(gs_known_result); in test05()
154 Generator_System gs_known_result; in test04() local155 gs_known_result.insert(point(x + y)); in test04()156 C_Polyhedron known_result(gs_known_result); in test04()
547 Generator_System gs_known_result; in test08() local548 gs_known_result.insert(point(-36*A + 6*B, 25)); in test08()549 gs_known_result.insert(ray(A + 4*B)); in test08()550 gs_known_result.insert(ray(6*A - B)); in test08()552 C_Polyhedron known_result(gs_known_result); in test08()