Module: ppl/ppl Branch: floating_point Commit: 6685edf5c48bbdf791bdd392b9027f425b05928c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6685edf5c48bb...
Author: Fabio Bossi bossi@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