Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
Parma_Polyhedra_Library::BD_Shape< T >A bounded difference shape
Parma_Polyhedra_Library::BD_Shape< T >::StatusA conjunctive assertion about a BD_Shape<T> object
Parma_Polyhedra_Library::BHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
Parma_Polyhedra_Library::BHRZ03_Certificate::CompareA total ordering on BHRZ03 certificates
Parma_Polyhedra_Library::BoundaryAn extended rational bound of an interval
Parma_Polyhedra_Library::Bounding_BoxA not necessarily closed bounding-box
Parma_Polyhedra_Library::C_PolyhedronA closed convex polyhedron
Parma_Polyhedra_Library::Checked::Check_Overflow_PolicyA policy checking for overflows
Parma_Polyhedra_Library::Checked_Number< T, Policy >A wrapper for numeric types implementing a given policy
Parma_Polyhedra_Library::Checked_Number_Default_Policy
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy
Parma_Polyhedra_Library::Coefficient_free_list_elementA node of the list of available coefficients
Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient >Coefficient traits
Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer >Coefficient traits specialization for unbounded integers
Parma_Polyhedra_Library::CongruenceA linear congruence
Parma_Polyhedra_Library::Congruence_SystemA system of congruences
Parma_Polyhedra_Library::Congruence_System::const_iteratorAn iterator over a system of congruences
Parma_Polyhedra_Library::ConstraintA linear equality or inequality
Parma_Polyhedra_Library::Constraint_SystemA system of constraints
Parma_Polyhedra_Library::Constraint_System::const_iteratorAn iterator over a system of constraints
Parma_Polyhedra_Library::DB_Matrix< T >The base class for the square matrices
Parma_Polyhedra_Library::DB_Matrix< T >::const_iteratorA read-only iterator over the rows of the matrix
Parma_Polyhedra_Library::DB_Row< T >The base class for the single rows of matrices
Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >The handler of the actual DB_Row implementation
Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::ImplThe real implementation of a DB_Row object
Parma_Polyhedra_Library::Determinate< PH >Wraps a PPL class into a determinate constraint system interface
Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >A function adapter for the Determinate class
Parma_Polyhedra_Library::Determinate< PH >::RepThe possibly shared representation of a Determinate object
Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >
Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >
Parma_Polyhedra_Library::Extended_Number_Policy
Parma_Polyhedra_Library::Float< T >
Parma_Polyhedra_Library::float_ieee754_double
Parma_Polyhedra_Library::float_ieee754_quad
Parma_Polyhedra_Library::float_ieee754_single
Parma_Polyhedra_Library::float_intel_double_extended
Parma_Polyhedra_Library::From_Bounding_BoxA tag class
Parma_Polyhedra_Library::From_Covering_BoxA tag class
Parma_Polyhedra_Library::GeneratorA line, ray, point or closure point
Parma_Polyhedra_Library::Generator_SystemA system of generators
Parma_Polyhedra_Library::Generator_System::const_iteratorAn iterator over a system of generators
Parma_Polyhedra_Library::GMP_IntegerUnbounded integers as provided by the GMP library
Parma_Polyhedra_Library::GridA grid
Parma_Polyhedra_Library::Grid::StatusA conjunctive assertion about a grid
Parma_Polyhedra_Library::Grid_CertificateThe convergence certificate for the Grid widening operator
Parma_Polyhedra_Library::Grid_Certificate::CompareA total ordering on Grid certificates
Parma_Polyhedra_Library::Grid_GeneratorA line, parameter or point
Parma_Polyhedra_Library::Grid_Generator_SystemA system of grid generators
Parma_Polyhedra_Library::Grid_Generator_System::const_iteratorAn iterator over a system of grid generators
Parma_Polyhedra_Library::H79_CertificateA convergence certificate for the H79 widening operator
Parma_Polyhedra_Library::H79_Certificate::CompareA total ordering on H79 certificates
Parma_Polyhedra_Library::InitClass for initialization and finalization
internal_exception
Parma_Polyhedra_Library::IntervalA interval over the set of rational numbers
Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >
Parma_Polyhedra_Library::Checked::Larger< signed char >
Parma_Polyhedra_Library::Checked::Larger< signed int >
Parma_Polyhedra_Library::Checked::Larger< signed long >
Parma_Polyhedra_Library::Checked::Larger< signed long long >
Parma_Polyhedra_Library::Checked::Larger< signed short >
Parma_Polyhedra_Library::Checked::Larger< unsigned char >
Parma_Polyhedra_Library::Checked::Larger< unsigned int >
Parma_Polyhedra_Library::Checked::Larger< unsigned long >
Parma_Polyhedra_Library::Checked::Larger< unsigned long long >
Parma_Polyhedra_Library::Checked::Larger< unsigned short >
Parma_Polyhedra_Library::LBoundaryThe lower bound of an extended rational interval
Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >Wraps a limited widening method into a function object
Parma_Polyhedra_Library::Linear_ExpressionA linear expression
Parma_Polyhedra_Library::Linear_RowThe base class for linear expressions, constraints and generators
Parma_Polyhedra_Library::Linear_Row::FlagsThe type of the object to which the coefficients refer to, encoding both topology and kind
Parma_Polyhedra_Library::Linear_SystemThe base class for systems of constraints and generators
Parma_Polyhedra_Library::Linear_System::Row_Less_ThanOrdering predicate (used when implementing the sort algorithm)
Parma_Polyhedra_Library::Linear_System::With_PendingA tag class
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iteratorAn iterator keeping a Linear_System consistent with a Saturation_Matrix
Parma_Polyhedra_Library::LP_ProblemA Linear Programming problem
Parma_Polyhedra_Library::MatrixA 2-dimensional matrix of coefficients
Parma_Polyhedra_Library::Matrix::const_iteratorAn iterator over a matrix
Parma_Polyhedra_Library::maybe_assign_struct< To, From >
Parma_Polyhedra_Library::maybe_assign_struct< Type, Type >
Parma_Polyhedra_Library::Minus_Infinity
Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T >
Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >
Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T >
Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > >
Parma_Polyhedra_Library::NNC_PolyhedronA not necessarily closed convex polyhedron
non_linear
not_a_complexity_class
not_a_nil_terminated_list
Parma_Polyhedra_Library::Not_A_Number
not_a_polyhedron_handle
not_a_polyhedron_kind
not_a_relation
not_a_variable
not_an_integer
not_an_lp_problem_handle
not_an_optimization_mode
not_universe_or_empty
not_unsigned_integer
Parma_Polyhedra_Library::Checked::number_struct
Parma_Polyhedra_Library::Plus_Infinity
Parma_Polyhedra_Library::Poly_Con_RelationThe relation between a polyhedron and a constraint
Parma_Polyhedra_Library::Poly_Gen_RelationThe relation between a polyhedron and a generator
Parma_Polyhedra_Library::Polyhedra_Powerset< PH >The powerset construction instantiated on PPL polyhedra
Parma_Polyhedra_Library::PolyhedronThe base class for convex polyhedra
Parma_Polyhedra_Library::Polyhedron::StatusA conjunctive assertion about a polyhedron
Parma_Polyhedra_Library::Powerset< D >The powerset construction on a base-level domain
Parma_Polyhedra_Library::Powerset< D >::omega_const_iteratorA const_iterator on the disjuncts of a Powerset element
Parma_Polyhedra_Library::Powerset< D >::omega_iteratorAn iterator on the disjuncts of a Powerset element
PPL_integer_out_of_range
Prolog_unsigned_out_of_range
Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >
Parma_Polyhedra_Library::RowA finite sequence of coefficients
Parma_Polyhedra_Library::Row::FlagsWrapper class to represent a set of flags with bits in a native unsigned integral type
Parma_Polyhedra_Library::Row_Impl_HandlerThe handler of the actual Row implementation
Parma_Polyhedra_Library::Row_Impl_Handler::ImplThe actual implementation of a Row object
Parma_Polyhedra_Library::Saturation_MatrixA saturation matrix
Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_ThanOrdering predicate (used when implementing the sort algorithm)
Parma_Polyhedra_Library::Saturation_RowA row of a saturation matrix
Parma_Polyhedra_Library::Scalar_ProductsA class implementing various scalar product functions
StatusA conjunctive assertion about a polyhedron
Parma_Polyhedra_Library::Temp_Coefficient_Holder
Parma_Polyhedra_Library::ThrowableUser objects the PPL can throw
Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_SignScalar product sign function object depending on topology
Parma_Polyhedra_Library::UBoundaryThe upper bound of an extended rational interval
unknown_interface_error
Parma_Polyhedra_Library::VariableA dimension of the vector space
Parma_Polyhedra_Library::Variable::CompareBinary predicate defining the total ordering on variables
Parma_Polyhedra_Library::Widening_Function< PH >Wraps a widening method into a function object

Generated on Wed Jul 16 22:55:36 2008 for PPL by  doxygen 1.5.6