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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 22 16:49:03 2009 +0200

Small documentation corrections.

---

doc/definitions.dox | 9 ++++++--- src/Polyhedron.defs.hh | 2 +- 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index dd68fd4..43a7afb 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2719,9 +2719,12 @@ composed by two parts: \f$\fund{\rho^{#}_l}{\cV}{\mathbb{L}_a}\f$ associating each variable with its current approximating linear form.

-Both stores are represented by maps of the Standard Template Library and are -required by the linearize method. Please see the documentation of floating -point expression classes for more information. +An interval abstract store is represented by a +\link Parma_Polyhedra_Library::Box \c Box \endlink with floating point +boundaries, while a linear form abstract store is a map +of the Standard Template Library. The <CODE>linearize</CODE> method requires +both stores as its arguments. Please see the documentation of floating point +expression classes for more information.

The linearization of a floating point expression \f$e\f$ in the composite abstract store \f$\left \langle \rho^{#}, \rho^{#}_l \right \rangle\f$ will diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 55d7c44..b402794 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -2673,7 +2673,7 @@ protected: It should be the result of an application of static method <CODE>overapproximate_linear_form</CODE>.

- \param l_dimension + \param lf_dimension Must be the space dimension of \p lf.

\param result