Library Initialization and Finalization


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.

Detailed Description

Functions for initialization/finalization of the library, as well as setting/resetting of floating-point rounding mode.

Function Documentation

int ppl_initialize ( void   ) 

Initializes the Parma Polyhedra Library. This function must be called before any other function.

Returns:
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.

Returns:
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.


Generated on Tue Apr 14 07:13:18 2009 for PPL C Language Interface by  doxygen 1.5.7.1