#include "Init.types.hh"#include "fpu.types.hh"#include "fpu.defs.hh"#include "Rounding_Dir.defs.hh"

Go to the source code of this file.
Classes | |
| class | Parma_Polyhedra_Library::Init |
| Class for initialization and finalization. More... | |
Namespaces | |
| namespace | 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. | |
| void | Parma_Polyhedra_Library::restore_pre_PPL_rounding () |
| Sets the FPU rounding mode as it was before initialization of the PPL. | |
1.6.3