Searched refs:ph1_1 (Results 1 – 3 of 3) sorted by relevance
151 C_Polyhedron ph1_1(2); in test04() local152 ph1_1.add_constraint(x >= 0); in test04()153 ph1_1.add_constraint(y >= 0); in test04()154 ph1_1.add_constraint(x <= 2); in test04()155 ph1_1.add_constraint(y <= 2); in test04()156 C_Polyhedron ph1_2(ph1_1); in test04()165 bool ok = aux_test04(ph1_1, ph2_1, ph1_1) in test04()
44 C_Polyhedron ph1_1(ph1); in test01() local45 print_constraints(ph1_1, "*** ph1_1 ***"); in test01()48 ph1_1.H79_widening_assign(ph2_1); in test01()49 print_generators(ph1_1, "*** after H79_widening_assign ***"); in test01()51 bool ok = (ph1_1 == ph1_2); in test01()
330 C_Polyhedron ph1_1(2); in test07() local331 ph1_1.add_constraint(x >= 0); in test07()332 ph1_1.add_constraint(y >= 0); in test07()333 ph1_1.add_constraint(x <= 2); in test07()334 ph1_1.add_constraint(y <= 2); in test07()335 C_Polyhedron ph1_2(ph1_1); in test07()344 bool ok = aux_test07(ph1_1, ph2_1, ph2_1) in test07()