[PPL-devel] [GIT] ppl/ppl(master): Missing comment added.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Sep 14 20:31:42 2013 +0200

Missing comment added.

---

 src/Polyhedron_defs.hh |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/src/Polyhedron_defs.hh b/src/Polyhedron_defs.hh
index 0f36dc3..f5fbd49 100644
--- a/src/Polyhedron_defs.hh
+++ b/src/Polyhedron_defs.hh
@@ -2831,6 +2831,13 @@ protected:
   add_to_system_and_check_independence(Linear_System1& eq_sys,
                                        const Row2& eq);
 
+  /*! \brief
+    Assigns to \p *this the result of computing the
+    "positive time-elapse" between \p *this and \p y.
+
+    \exception std::invalid_argument
+    Thrown if \p *this and \p y are dimension-incompatible.
+  */
   void positive_time_elapse_assign(const Polyhedron& y);
 };