[PPL-devel] [GIT] ppl/ppl(floating_point): Small documentation improvements.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Sep 16 17:56:29 2009 +0200

Small documentation improvements.

---

 doc/definitions.dox         |   12 ++++++++++++
 src/Octagonal_Shape.defs.hh |    2 +-
 2 files changed, 13 insertions(+), 1 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index 7dee776..dd68fd4 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2731,6 +2731,18 @@ be denoted by \f$\linexpr{e} \left \langle \rho^{\#}, \rho^{\#}_l \right
     and
   - when we try to divide by an interval that contains \f$0\f$.
 
+\subsection fp_abstract_domains Use of other abstract domains for floating point analysis
+
+Three of the other abstract domains of the PPL (
+\link Parma_Polyhedra_Library::BD_Shape \c BD_Shape \endlink,
+\link Parma_Polyhedra_Library::Octagonal_Shape \c Octagonal_Shape \endlink,
+and \link Parma_Polyhedra_Library::Polyhedron \c Polyhedron \endlink)
+provide a few optimized methods to be used in the analysis of floating point
+computations. They are recognized by the fact that they take interval
+linear forms and/or an interval abstract stores as their parameters.
+
+Please see the methods' documentation for more information.
+
 \section use_of_library Using the Library
 
 \subsection A_Note_on_the_Implementation_of_the_Operators A Note on the Implementation of the Operators
diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh
index 6ebd381..5377ca3 100644
--- a/src/Octagonal_Shape.defs.hh
+++ b/src/Octagonal_Shape.defs.hh
@@ -990,7 +990,7 @@ public:
 
   /*! \brief
     Refines the system of octagonal constraints defining \p *this using
-    the constraint expressed by \p left \f$\f$ \p right.
+    the constraint expressed by \p left \f$\leq\f$ \p right.
 
     \param left
     The linear form on intervals with floating point coefficients that