Module: ppl/ppl Branch: master Commit: 3385539e9496e7240cc2be723e219b61ee664f6a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue May 5 07:51:45 2009 +0200 Method COW_Pointset::element() renamed pointset(). --- tests/Polyhedron/linearpartition1.cc | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/tests/Polyhedron/linearpartition1.cc b/tests/Polyhedron/linearpartition1.cc index 879bda0..8c1c9c3 100644 --- a/tests/Polyhedron/linearpartition1.cc +++ b/tests/Polyhedron/linearpartition1.cc @@ -40,13 +40,13 @@ aux_test01(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false; @@ -113,13 +113,13 @@ aux_test02(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false; @@ -186,13 +186,13 @@ aux_test03(const C_Polyhedron& p, NNC_Polyhedron nnc_q(q); typedef Pointset_Powerset<NNC_Polyhedron>::const_iterator iter; for (iter i = s.begin(), s_end = s.end(); i != s_end; ++i) { - const NNC_Polyhedron& a = i->element(); + const NNC_Polyhedron& a = i->pointset(); // All elements of `s' must be disjoint from `p'. if (!a.is_disjoint_from(nnc_p)) return false; iter j = i; for (++j; j != s_end; ++j) { - const NNC_Polyhedron& b = j->element(); + const NNC_Polyhedron& b = j->pointset(); // All elements of `s' must be pairwise disjoint. if (!a.is_disjoint_from(b)) return false;