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

Author: Roberto Bagnara bagnara@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,