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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Sep 4 17:00:16 2009 +0200

Corrected a couple of typos in documentation of Variables_Set.

---

src/Variables_Set.defs.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Variables_Set.defs.hh b/src/Variables_Set.defs.hh index 6692c69..41c78ab 100644 --- a/src/Variables_Set.defs.hh +++ b/src/Variables_Set.defs.hh @@ -62,7 +62,7 @@ public: If <CODE>v.id() <= w.id()</CODE>, this constructor builds the set of variables' indexes <CODE>v.id()</CODE>, <CODE>v.id()+1</CODE>, ..., <CODE>w.id()</CODE>. - The empty set it built otherwise. + The empty set is built otherwise. */ Variables_Set(const Variable& v, const Variable& w);

@@ -75,13 +75,13 @@ public: */ dimension_type space_dimension() const;

- //! Inserts the index of variavle \p v into the set. + //! Inserts the index of variable \p v into the set. void insert(Variable v); + // The `insert' method above overloads (instead of hiding) the // other `insert' method of std::set. using Base::insert;

- /*! \brief Loads from \p s an ASCII representation (as produced by ascii_dump(std::ostream&) const) and sets \p *this accordingly.