parma_polyhedra_library::Parma_Polyhedra_Library Class Reference
[Java Language Interface]

A class collecting library-level functions. More...

List of all members.

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.


Detailed Description

A class collecting library-level functions.


Member Function Documentation

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.


The documentation for this class was generated from the following file:

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