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

Fabio Bossi bossi at cs.unipr.it
Tue Sep 22 16:46:04 CEST 2009

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
+An interval abstract store is represented by a
+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

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