PPL  1.2
Init_inlines.hh File Reference
#include "fpu_defs.hh"
#include "Rounding_Dir_defs.hh"
Include dependency graph for Init_inlines.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 

Functions

void Parma_Polyhedra_Library::set_rounding_for_PPL ()
 Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. More...
 
void Parma_Polyhedra_Library::restore_pre_PPL_rounding ()
 Sets the FPU rounding mode as it was before initialization of the PPL. More...