[PPL-devel] [GIT] ppl/ppl(master): Group together documentation of functions controlling FPU.

Enea Zaffanella zaffanella at cs.unipr.it
Mon Feb 27 10:39:21 CET 2012


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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Mon Feb 27 10:37:41 2012 +0100

Group together documentation of functions controlling FPU.

---

 src/fpu.defs.hh |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/src/fpu.defs.hh b/src/fpu.defs.hh
index d2a4e12..a3acf1a 100644
--- a/src/fpu.defs.hh
+++ b/src/fpu.defs.hh
@@ -29,6 +29,9 @@ site: http://bugseng.com/products/ppl/ . */
 
 namespace Parma_Polyhedra_Library {
 
+//! \name Functions Controlling Floating Point Unit
+//@{
+
 //! Initializes the FPU control functions.
 void
 fpu_initialize_control_functions();
@@ -73,6 +76,8 @@ fpu_reset_inexact();
 int
 fpu_check_inexact();
 
+//@} // Functions Controlling Floating Point Unit
+
 } // namespace Parma_Polyhedra_Library
 
 #if PPL_CAN_CONTROL_FPU




More information about the PPL-devel mailing list