[PPL-devel] [GIT] ppl/ppl(master): Added a section on "Approximating Bounded Arithmetic ", to be written.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 0f54288600e90baebc6307d5b0c86056d445297d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e90baebc6307d5b0c86056d445297d

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May  4 16:20:34 2009 +0200

Added a section on "Approximating Bounded Arithmetic", to be written.

---

 doc/definitions.dox |   11 +++++++++++
 1 files changed, 11 insertions(+), 0 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index e493e03..75d30ce 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -437,6 +437,17 @@ library user to provide the PPL's method with approximations of reality
 that are consistent with respect to the desired results.
 
 
+\section Approximating_Bounded_Arithmetic Approximating Bounded Arithmetic
+
+FIXME(0.11): to be written.
+
+
+\subsection Wrapping_Operator Wrapping Operator
+
+FIXME(0.11): to be written.
+\ref SK07 "[SK07]"
+
+
 \section convex_polys Convex Polyhedra
 
 In this section we introduce convex polyhedra,