PPL
1.2
|
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... | |