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

Author: Fabio Bossi bossi@cs.unipr.it Date: Fri May 6 11:53:53 2011 +0200

Added a Doxygen reference.

---

src/globals.types.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/globals.types.hh b/src/globals.types.hh index 378348c..7be68a7 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -157,7 +157,8 @@ enum Bounded_Integer_Type_Overflow { Floating point formats known to the library.

The parameters of each format are defined by a specific struct - in file Float.defs.hh. + in file Float.defs.hh. See the section on \ref floating_point + "Analysis of floating point computations" for more information. */ enum Floating_Point_Format { IEEE754_HALF,