Module: ppl/ppl Branch: master Commit: 975b9494cf23eb81b611a9878b9effac55b69486 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975b9494cf23e...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 5 06:50:48 2009 +0200
Method COW_Pointset::element() renamed pointset().
---
tests/Polyhedron/hybrid.cc | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/tests/Polyhedron/hybrid.cc b/tests/Polyhedron/hybrid.cc index fc4894a..441ecab 100644 --- a/tests/Polyhedron/hybrid.cc +++ b/tests/Polyhedron/hybrid.cc @@ -532,7 +532,7 @@ time_elapse( Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::const_iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron di = i->element(); + NNC_Polyhedron di = i->pointset(); NNC_Polyhedron d(di); d.time_elapse_assign(ph); ps_result.add_disjunct(d); @@ -550,7 +550,7 @@ affine_image( Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron phi = i->element(); + NNC_Polyhedron phi = i->pointset(); NNC_Polyhedron ph(phi); ph.affine_image(var, expr, denominator); ps_result.add_disjunct(ph); @@ -565,7 +565,7 @@ powerset_upper_bound(Pointset_Powerset<NNC_Polyhedron>& ps, Pointset_Powerset<NNC_Polyhedron> ps_result(ps.space_dimension(), EMPTY); for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps.begin(), ps_end = ps.end(); i != ps_end; ++i) { - NNC_Polyhedron phi = i->element(); + NNC_Polyhedron phi = i->pointset(); ph.upper_bound_assign(phi); (void) ph.is_empty(); } @@ -585,10 +585,10 @@ disjunct_covers( for (Pointset_Powerset<NNC_Polyhedron>::iterator i = ps2.begin(), ps2_end = ps2.end(); i != ps2_end; ++i) { bool is_contained = false; - NNC_Polyhedron ph2 = i->element(); + NNC_Polyhedron ph2 = i->pointset(); for (Pointset_Powerset<NNC_Polyhedron>::iterator j = ps1.begin(), ps1_end = ps1.end(); j != ps1_end; ++j) { - NNC_Polyhedron ph1 = j->element(); + NNC_Polyhedron ph1 = j->pointset(); if (ph1.contains(ph2)) { is_contained = true; break;