PPL Java Language Interface Documentation

0.10.1

The Parma Polyhedra Library comes equipped with an interface for the Java language. The Java interface provides access to the numerical abstractions (convex polyhedra, BD shapes, octagonal shapes, etc.) implemented by the PPL library. A general introduction to the numerical abstractions, their representation in the PPL and the operations provided by the PPL is given in the main PPL user manual. Here we just describe those aspects that are specific to the Java interface. In the sequel, prefix is the path prefix under which the library has been installed (typically /usr or /usr/local).

Overview

Here is a list of notes with general information and advice on the use of the Java interface.


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