- New FPU_get_and_set_cw() function.

This commit is contained in:
Sylvain Pion 1999-07-15 18:11:59 +00:00
parent 8df1a1f8cf
commit bc8a64d4dc
1 changed files with 15 additions and 2 deletions

View File

@ -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