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

Author: Roberto Bagnara roberto.bagnara@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); };