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