Module: ppl/ppl Branch: floating_point Commit: 171b89c7ecd9440017606fb6fd8d51659368f322 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=171b89c7ecd94...

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 21 15:56:47 2009 +0200

Added a few lines of documentation that were previously forgotten.

---

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

diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index 60f7f58..111d2de 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1005,7 +1005,9 @@ public: \exception std::invalid_argument Thrown if \p left (or \p right) is dimension-incompatible with \p *this.

- + This function is used in abstract interpretation to model a filter + that is generated by a comparison of two expressions that are correctly + approximated by \p left and \p right respectively. */ template <typename Interval_Info> void refine_with_linear_form_inequality(