diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-09-14 20:31:42 +0200 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-09-14 20:31:42 +0200 |
| commit | ed99c6f7ece9fb008b3eadfbc61802776779f3a6 (patch) | |
| tree | b00958bc9574e3e86578dc1a0ed041f9b4454593 /src | |
| parent | 07039e7eabdc53598ac5f949301748941d77b9fb (diff) | |
| download | ppl-ed99c6f7ece9fb008b3eadfbc61802776779f3a6.tar.gz ppl-ed99c6f7ece9fb008b3eadfbc61802776779f3a6.tar.bz2 ppl-ed99c6f7ece9fb008b3eadfbc61802776779f3a6.zip | |
Missing comment added.
Diffstat (limited to 'src')
| -rw-r--r-- | 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 0f36dc3c6..f5fbd4984 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); }; |