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

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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