[PPL-devel] [GIT] ppl/ppl(floating_point): Added a few lines of documentation that were previously forgotten.
Fabio Bossi
bossi at cs.unipr.it
Mon Sep 21 15:53:59 CEST 2009
Module: ppl/ppl
Branch: floating_point
Commit: 171b89c7ecd9440017606fb6fd8d51659368f322
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=171b89c7ecd9440017606fb6fd8d51659368f322
Author: Fabio Bossi <bossi at 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(
More information about the PPL-devel
mailing list