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

Author: Enea Zaffanella zaffanella@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