Static Public Member Functions | |
Version Checking | |
static native int | version_major () |
Returns the major number of the PPL version. | |
static native int | version_minor () |
Returns the minor number of the PPL version. | |
static native int | version_revision () |
Returns the revision number of the PPL version. | |
static native int | version_beta () |
Returns the beta number of the PPL version. | |
static native String | version () |
Returns a string containing the PPL version. | |
static native String | banner () |
Returns a string containing the PPL banner. | |
(Re-) Setting floating-point rounding mode. | |
static native void | set_rounding_for_PPL () |
Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. | |
static native void | restore_pre_PPL_rounding () |
Sets the FPU rounding mode as it was before initialization of the PPL. |
static native String parma_polyhedra_library::Parma_Polyhedra_Library::banner | ( | ) | [static] |
Returns a string containing the PPL banner.
The banner provides information about the PPL version, the licensing, the lack of any warranty whatsoever, the C++ compiler used to build the library, where to report bugs and where to look for further information.
static native void parma_polyhedra_library::Parma_Polyhedra_Library::set_rounding_for_PPL | ( | ) | [static] |
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.
static native void parma_polyhedra_library::Parma_Polyhedra_Library::restore_pre_PPL_rounding | ( | ) | [static] |
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.