|
Namespaces |
| namespace | Parma_Polyhedra_Library |
| | The entire library is confined to this namespace.
|
| namespace | Parma_Polyhedra_Library::IO_Operators |
| | All input/output operators are confined to this namespace.
|
| namespace | std |
| | The standard C++ namespace.
|
Classes |
| class | Parma_Polyhedra_Library::Checked_Number< T, Policy > |
| | A wrapper for numeric types implementing a given policy. More...
|
| class | Parma_Polyhedra_Library::Throwable |
| | User objects the PPL can throw. More...
|
| struct | Parma_Polyhedra_Library::From_Bounding_Box |
| | A tag class. More...
|
| struct | Parma_Polyhedra_Library::From_Covering_Box |
| | A tag class. More...
|
| class | Parma_Polyhedra_Library::Constraint_System |
| | A system of constraints. More...
|
| class | Parma_Polyhedra_Library::Constraint_System::const_iterator |
| | An iterator over a system of constraints. More...
|
| class | Parma_Polyhedra_Library::Variable |
| | A dimension of the vector space. More...
|
| struct | Parma_Polyhedra_Library::Variable::Compare |
| | Binary predicate defining the total ordering on variables. More...
|
| class | Parma_Polyhedra_Library::Poly_Con_Relation |
| | The relation between a polyhedron and a constraint. More...
|
| class | Parma_Polyhedra_Library::Generator_System |
| | A system of generators. More...
|
| class | Parma_Polyhedra_Library::Generator_System::const_iterator |
| | An iterator over a system of generators. More...
|
| class | Parma_Polyhedra_Library::Grid_Generator_System |
| | A system of grid generators. More...
|
| class | Parma_Polyhedra_Library::Grid_Generator_System::const_iterator |
| | An iterator over a system of grid generators. More...
|
| class | Parma_Polyhedra_Library::Congruence_System |
| | A system of congruences. More...
|
| class | Parma_Polyhedra_Library::Congruence_System::const_iterator |
| | An iterator over a system of congruences. More...
|
| class | Parma_Polyhedra_Library::Linear_Expression |
| | A linear expression. More...
|
| class | Parma_Polyhedra_Library::Constraint |
| | A linear equality or inequality. More...
|
| class | Parma_Polyhedra_Library::Generator |
| | A line, ray, point or closure point. More...
|
| class | Parma_Polyhedra_Library::Grid_Generator |
| | A line, parameter or point. More...
|
| class | Parma_Polyhedra_Library::Congruence |
| | A linear congruence. More...
|
| class | Parma_Polyhedra_Library::LP_Problem |
| | A Linear Programming problem. More...
|
| class | Parma_Polyhedra_Library::Poly_Gen_Relation |
| | The relation between a polyhedron and a generator. More...
|
| class | Parma_Polyhedra_Library::BHRZ03_Certificate |
| | The convergence certificate for the BHRZ03 widening operator. More...
|
| struct | Parma_Polyhedra_Library::BHRZ03_Certificate::Compare |
| | A total ordering on BHRZ03 certificates. More...
|
| class | Parma_Polyhedra_Library::H79_Certificate |
| | A convergence certificate for the H79 widening operator. More...
|
| struct | Parma_Polyhedra_Library::H79_Certificate::Compare |
| | A total ordering on H79 certificates. More...
|
| class | Parma_Polyhedra_Library::Polyhedron |
| | The base class for convex polyhedra. More...
|
| class | Parma_Polyhedra_Library::Grid_Certificate |
| | The convergence certificate for the Grid widening operator. More...
|
| class | Parma_Polyhedra_Library::Grid |
| | A grid. More...
|
| class | Parma_Polyhedra_Library::C_Polyhedron |
| | A closed convex polyhedron. More...
|
| class | Parma_Polyhedra_Library::NNC_Polyhedron |
| | A not necessarily closed convex polyhedron. More...
|
| class | Parma_Polyhedra_Library::BD_Shape< T > |
| | A bounded difference shape. More...
|
| class | Parma_Polyhedra_Library::Determinate< PH > |
| | Wraps a PPL class into a determinate constraint system interface. More...
|
| class | Parma_Polyhedra_Library::Powerset< D > |
| | The powerset construction on a base-level domain. More...
|
| class | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > |
| | The powerset construction instantiated on PPL polyhedra. More...
|
| class | Parma_Polyhedra_Library::GMP_Integer |
| | Unbounded integers as provided by the GMP library. More...
|
Defines |
|
#define | PPL_VERSION_MAJOR 0 |
| | The major number of the PPL version.
|
|
#define | PPL_VERSION_MINOR 9 |
| | The minor number of the PPL version.
|
|
#define | PPL_VERSION_REVISION 0 |
| | 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.9" |
| | A string containing the PPL version.
|
Typedefs |
|
typedef size_t | Parma_Polyhedra_Library::dimension_type |
| | An unsigned integral type for representing space dimensions.
|
|
typedef size_t | Parma_Polyhedra_Library::memory_size_type |
| | An unsigned integral type for representing memory size in bytes.
|
| typedef COEFFICIENT_TYPE | Parma_Polyhedra_Library::Coefficient |
| | An alias for easily naming the type of PPL coefficients.
|
typedef std::set< Variable,
Variable::Compare > | Parma_Polyhedra_Library::Variables_Set |
| | An std::set containing variables in increasing order of dimension index.
|
Enumerations |
| enum | Parma_Polyhedra_Library::Result { ,
Parma_Polyhedra_Library::VC_NORMAL,
Parma_Polyhedra_Library::V_LT,
Parma_Polyhedra_Library::V_GT,
Parma_Polyhedra_Library::V_EQ,
Parma_Polyhedra_Library::V_NE,
Parma_Polyhedra_Library::V_LE,
Parma_Polyhedra_Library::V_GE,
Parma_Polyhedra_Library::V_LGE,
Parma_Polyhedra_Library::VC_MINUS_INFINITY,
Parma_Polyhedra_Library::V_NEG_OVERFLOW,
Parma_Polyhedra_Library::VC_PLUS_INFINITY,
Parma_Polyhedra_Library::V_POS_OVERFLOW,
Parma_Polyhedra_Library::VC_NAN,
Parma_Polyhedra_Library::V_CVT_STR_UNK,
Parma_Polyhedra_Library::V_DIV_ZERO,
Parma_Polyhedra_Library::V_INF_ADD_INF,
Parma_Polyhedra_Library::V_INF_DIV_INF,
Parma_Polyhedra_Library::V_INF_MOD,
Parma_Polyhedra_Library::V_INF_MUL_ZERO,
Parma_Polyhedra_Library::V_INF_SUB_INF,
Parma_Polyhedra_Library::V_MOD_ZERO,
Parma_Polyhedra_Library::V_SQRT_NEG,
Parma_Polyhedra_Library::V_UNKNOWN_NEG_OVERFLOW,
Parma_Polyhedra_Library::V_UNKNOWN_POS_OVERFLOW,
Parma_Polyhedra_Library::V_UNORD_COMP
} |
| | Possible outcomes of a checked arithmetic computation. More...
|
| enum | Parma_Polyhedra_Library::Rounding_Dir { Parma_Polyhedra_Library::ROUND_DOWN,
Parma_Polyhedra_Library::ROUND_UP,
Parma_Polyhedra_Library::ROUND_IGNORE
, Parma_Polyhedra_Library::ROUND_NOT_NEEDED
} |
| | Rounding directions for arithmetic computations. More...
|
| enum | Parma_Polyhedra_Library::Degenerate_Element { Parma_Polyhedra_Library::UNIVERSE,
Parma_Polyhedra_Library::EMPTY
} |
| | Kinds of degenerate abstract elements. More...
|
| enum | Parma_Polyhedra_Library::Relation_Symbol {
Parma_Polyhedra_Library::LESS_THAN,
Parma_Polyhedra_Library::LESS_THAN_OR_EQUAL,
Parma_Polyhedra_Library::EQUAL,
Parma_Polyhedra_Library::GREATER_THAN_OR_EQUAL,
Parma_Polyhedra_Library::GREATER_THAN
} |
| | Relation symbols. More...
|
| enum | Parma_Polyhedra_Library::Complexity_Class { Parma_Polyhedra_Library::POLYNOMIAL_COMPLEXITY,
Parma_Polyhedra_Library::SIMPLEX_COMPLEXITY,
Parma_Polyhedra_Library::ANY_COMPLEXITY
} |
| | Complexity pseudo-classes. More...
|
| enum | Parma_Polyhedra_Library::Optimization_Mode { Parma_Polyhedra_Library::MINIMIZATION,
Parma_Polyhedra_Library::MAXIMIZATION
} |
| | Possible optimization modes. More...
|
| enum | Parma_Polyhedra_Library::LP_Problem_Status { Parma_Polyhedra_Library::UNFEASIBLE_LP_PROBLEM,
Parma_Polyhedra_Library::UNBOUNDED_LP_PROBLEM,
Parma_Polyhedra_Library::OPTIMIZED_LP_PROBLEM
} |
| | Possible outcomes of the LP_Problem solver. More...
|
Variables |
| const Throwable *volatile | Parma_Polyhedra_Library::abandon_expensive_computations |
| | A pointer to an exception object.
|
See Namespace, Hierarchical and Compound indexes for additional information about each single data type.