From bc8a64d4dc60efa3b58bf462f90ef1758043cfe5 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 15 Jul 1999 18:11:59 +0000
Subject: [PATCH] - New FPU_get_and_set_cw() function.

---
 .../include/CGAL/Interval_arithmetic/_FPU.h     | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
index 67ae4f26449..728420633b1 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
@@ -197,18 +197,31 @@ enum {
 
 // User interface:
 
-inline FPU_CW_t FPU_get_cw (void)
+inline
+FPU_CW_t
+FPU_get_cw (void)
 {
     FPU_CW_t cw;
     CGAL_IA_GETFPCW(cw);
     return cw;
 }
 
-inline void FPU_set_cw (FPU_CW_t cw)
+inline
+void
+FPU_set_cw (FPU_CW_t cw)
 {
     CGAL_IA_SETFPCW(cw);
 }
 
+inline
+FPU_CW_t
+FPU_get_and_set_cw (FPU_CW_t cw)
+{
+    FPU_CW_t old = FPU_get_cw();
+    FPU_set_cw(cw);
+    return old;
+}
+
 CGAL_END_NAMESPACE
 
 #endif // CGAL_FPU_H