[PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset().

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 3385539e9496e7240cc2be723e219b61ee664f6a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3385539e9496e7240cc2be723e219b61ee664f6a

Author: Roberto Bagnara <bagnara at 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;