Download The Parma Polyhedra Library User's Manual (version

8.1
Parma_Polyhedra_Library Namespace Reference
Functions
• unsigned version_major ()
Returns the major number of the PPL version.
• unsigned version_minor ()
Returns the minor number of the PPL version.
• unsigned version_revision ()
Returns the revision number of the PPL version.
• unsigned version_beta ()
Returns the beta number of the PPL version.
• const char ∗ version ()
Returns a character string containing the PPL version.
• const char ∗ banner ()
Returns a character string containing the PPL banner.
• dimension_type not_a_dimension ()
Returns a value that does not designate a valid dimension.
Variables
• const Throwable ∗volatile abandon_expensive_computations
8.1.1
Detailed Description
The entire library is confined to this namespace.
8.1.2
8.1.2.1
Enumeration Type Documentation
enum Relation_Symbol
Relation symbols.
Enumeration values:
LESS_THAN Less than.
LESS_THAN_OR_EQUAL Less than or equal to.
EQUAL Equal to.
GREATER_THAN_OR_EQUAL Greater than or equal to.
GREATER_THAN Greater than.
The Parma Polyhedra Library User’s Manual (version 0.6.1). See http://www.cs.unipr.it/ppl/ for more information.
70