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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue May  5 08:43:39 2009 +0200

Method COW_Pointset::element() renamed pointset().

---

 src/COW_Pointset.defs.hh            |    2 +-
 tests/Grid/approximatepartition1.cc |    3 ++-
 tests/Grid/powersetdifference1.cc   |   14 +++++++-------
 3 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/src/COW_Pointset.defs.hh b/src/COW_Pointset.defs.hh
index 0baa4a8..b743f48 100644
--- a/src/COW_Pointset.defs.hh
+++ b/src/COW_Pointset.defs.hh
@@ -252,7 +252,7 @@ private:
     Rep();
 
   public:
-    //! A possibly shared base-level domain element.
+    //! A possibly shared, base-level pointset.
     PSET pset;
 
     /*! \brief
diff --git a/tests/Grid/approximatepartition1.cc b/tests/Grid/approximatepartition1.cc
index 651e3ab..2ba8630 100644
--- a/tests/Grid/approximatepartition1.cc
+++ b/tests/Grid/approximatepartition1.cc
@@ -92,7 +92,8 @@ test02() {
   Grid known_gr(p);
 
   Pointset_Powerset<Grid>::iterator i = (result.second).begin();
-  return (i->element() == known_gr);
+
+return i->pointset() == known_gr;
 }
 
 BEGIN_MAIN
diff --git a/tests/Grid/powersetdifference1.cc b/tests/Grid/powersetdifference1.cc
index ba067a7..ec06384 100644
--- a/tests/Grid/powersetdifference1.cc
+++ b/tests/Grid/powersetdifference1.cc
@@ -97,7 +97,7 @@ test02() {
   known_gr.add_congruence((x %= 0) / 1);
 
   Pointset_Powerset<Grid>::iterator i = ps.begin();
-  return (i->element() == known_gr);
+  return i->pointset() == known_gr;
 }
 
 bool
@@ -123,7 +123,7 @@ test03() {
   ps.difference_assign(qs);
   print_congruences(ps, "*** ps.difference(qs) ***");
 
-  return (ps.begin() == ps.end());
+  return ps.begin() == ps.end();
 }
 
 bool
@@ -153,7 +153,7 @@ test04() {
   known_gr.add_congruence((x %= 0) / 1);
 
   Pointset_Powerset<Grid>::iterator i = ps.begin();
-  return (i->element() == known_gr);
+  return i->pointset() == known_gr;
 }
 
 bool
@@ -175,7 +175,7 @@ test05() {
   ps.difference_assign(qs);
   print_congruences(ps, "*** ps.difference(qs) ***");
 
-  return (ps.begin() == ps.end());
+  return ps.begin() == ps.end();
 }
 
 bool
@@ -200,7 +200,7 @@ test06() {
   Grid known_gr(p);
 
   Pointset_Powerset<Grid>::iterator i = ps.begin();
-  return (i->element() == known_gr);
+  return i->pointset() == known_gr;
 }
 
 bool
@@ -225,7 +225,7 @@ test07() {
   Grid known_gr(p);
 
   Pointset_Powerset<Grid>::iterator i = ps.begin();
-  return (i->element() == known_gr);
+  return i->pointset() == known_gr;
 }
 
 bool
@@ -298,7 +298,7 @@ test09() {
   ps.difference_assign(qs);
   print_congruences(ps, "*** ps.difference(qs) ***");
 
-  return (ps.is_empty());
+  return ps.is_empty();
 }
 
 BEGIN_MAIN