Functions | |
int | ppl_initialize (void) |
Initializes the Parma Polyhedra Library. This function must be called before any other function. | |
int | ppl_finalize (void) |
Finalizes the Parma Polyhedra Library. This function must be called after any other function. | |
int | ppl_set_rounding_for_PPL (void) |
Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. | |
int | ppl_restore_pre_PPL_rounding (void) |
Sets the FPU rounding mode as it was before initialization of the PPL. |
int ppl_initialize | ( | void | ) |
Initializes the Parma Polyhedra Library. This function must be called before any other function.
PPL_ERROR_INVALID_ARGUMENT
if the library was already initialized. int ppl_finalize | ( | void | ) |
Finalizes the Parma Polyhedra Library. This function must be called after any other function.
PPL_ERROR_INVALID_ARGUMENT
if the library was already finalized. int ppl_set_rounding_for_PPL | ( | void | ) |
Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly.
This is performed automatically at initialization-time. Calling this function is needed only if restore_pre_PPL_rounding() has been previously called.
int ppl_restore_pre_PPL_rounding | ( | void | ) |
Sets the FPU rounding mode as it was before initialization of the PPL.
After calling this function it is absolutely necessary to call set_rounding_for_PPL() before using any PPL abstractions based on floating point numbers. This is performed automatically at finalization-time.