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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:03:28 2012 +0100

Comment punctuation fixed.

---

src/BD_Shape.templates.hh | 2 +- src/Octagonal_Shape.templates.hh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 8ef7bfe..bb38d16 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -305,7 +305,7 @@ BD_Shape<T>::affine_dimension() const {

// The vector `predecessor' is used to represent equivalence classes: // `predecessor[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> predecessor; compute_predecessors(predecessor);

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 27bcd0a..bb8b59b 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -960,7 +960,7 @@ Octagonal_Shape<T>::affine_dimension() const { // The vector `leaders' is used to represent non-singular // equivalence classes: // `leaders[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> leaders; compute_leaders(leaders);

@@ -996,7 +996,7 @@ Octagonal_Shape<T>::minimized_congruences() const {

// The vector `leaders' is used to represent equivalence classes: // `leaders[i] == i' if and only if `i' is the leader of its - // equivalence class (i.e., the minimum index in the class); + // equivalence class (i.e., the minimum index in the class). std::vector<dimension_type> leaders; compute_leaders(leaders);