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

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