
Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
The entire library is confined to this namespace. | |
Defines | |
| #define | PPL_VERSION_MAJOR 0 |
| The major number of the PPL version. | |
| #define | PPL_VERSION_MINOR 11 |
| The minor number of the PPL version. | |
| #define | PPL_VERSION_REVISION 2 |
| The revision number of the PPL version. | |
| #define | PPL_VERSION_BETA 0 |
| The beta number of the PPL version. This is zero for official releases and nonzero for development snapshots. | |
| #define | PPL_VERSION "0.11.2" |
| A string containing the PPL version. | |
Functions | |
| unsigned | Parma_Polyhedra_Library::version_major () |
| Returns the major number of the PPL version. | |
| unsigned | Parma_Polyhedra_Library::version_minor () |
| Returns the minor number of the PPL version. | |
| unsigned | Parma_Polyhedra_Library::version_revision () |
| Returns the revision number of the PPL version. | |
| unsigned | Parma_Polyhedra_Library::version_beta () |
| Returns the beta number of the PPL version. | |
| const char * | Parma_Polyhedra_Library::version () |
| Returns a character string containing the PPL version. | |
| const char * | Parma_Polyhedra_Library::banner () |
| Returns a character string containing the PPL banner. | |
1.6.3