  Parma_Polyhedra_Library::Affine_Space | An affine space |
| Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >::Any | A class that is constructible from just anything |
| Parma_Polyhedra_Library::Any_Pointset | Any PPL pointset |
| Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U > | A template class to derive both OR_Matrix::iterator and OR_Matrix::const_iterator |
| Parma_Polyhedra_Library::Approximable_Reference | A concrete expression representing a reference to some approximable |
| Parma_Polyhedra_Library::Approximable_Reference_Common< Target > | Base class for references to some approximable |
| Parma_Polyhedra_Library::Ask_Tell< D > | The ask and tell construction on a base-level domain |
 Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > > | |
  Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET > | The ask-and-tell construction instantiated on PPL polyhedra |
| Parma_Polyhedra_Library::Ask_Tell_Pair< D > | A pair of ask and tell descriptions |
| Parma_Polyhedra_Library::BD_Shape< T > | A bounded difference shape |
| Parma_Polyhedra_Library::BHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator |
| Parma_Polyhedra_Library::Binary_Operator | A binary operator applied to two concrete expressions |
| Parma_Polyhedra_Library::Determinate< PSET >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign > | A function adapter for the Determinate class |
| Parma_Polyhedra_Library::Binary_Operator_Common< Target > | Base class for binary operator applied to two concrete expressions |
| Parma_Polyhedra_Library::Bit_Matrix | A matrix of bits |
| Parma_Polyhedra_Library::Bit_Row | A row in a matrix of bits |
| Parma_Polyhedra_Library::Bit_Matrix::Bit_Row_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
| Parma_Polyhedra_Library::Bool< b > | A class holding a constant called value that evaluates to b |
| Parma_Polyhedra_Library::Bool< false > | |
 Parma_Polyhedra_Library::False | A class holding a constant called value that evaluates to false |
 Parma_Polyhedra_Library::C_Integer< T > | |
| Parma_Polyhedra_Library::Checked::Safe_Conversion< T1, T2 > | |
| Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, Enable > | |
| Parma_Polyhedra_Library::Fit< T, v, Enable > | |
| Parma_Polyhedra_Library::Float< T > | |
| Parma_Polyhedra_Library::FPU_Related< T > | |
| Parma_Polyhedra_Library::FPU_Related< Checked_Number< T, Policy > > | |
| Parma_Polyhedra_Library::Has_Assign_Or_Swap< T, Enable > | |
| Parma_Polyhedra_Library::Has_OK< T, Enable > | |
| Parma_Polyhedra_Library::Is_Checked< T > | |
| Parma_Polyhedra_Library::Is_Native< T > | |
| Parma_Polyhedra_Library::Is_Same< T1, T2 > | A class holding a constant called value that evaluates to true if and only if T1 is the same type as T2 |
| Parma_Polyhedra_Library::Is_Special< T > | |
| Parma_Polyhedra_Library::Slow_Copy< T > | |
| Parma_Polyhedra_Library::Use_By_Ref< By_Value, T > | |
| Parma_Polyhedra_Library::Bool< Is_Native< T >::value||Is_Checked< T >::value > | |
| Parma_Polyhedra_Library::Is_Native_Or_Checked< T > | |
| Parma_Polyhedra_Library::Is_Singleton< T, Enable > | |
| Parma_Polyhedra_Library::Bool< Slow_Copy< T >::value > | |
| Parma_Polyhedra_Library::Slow_Copy< Checked_Number< T, P > > | |
| Parma_Polyhedra_Library::Use_By_Ref< Use_Slow_Copy, T > | |
| Parma_Polyhedra_Library::Bool< true > | |
| Parma_Polyhedra_Library::True | A class holding a constant called value that evaluates to true |
| Parma_Polyhedra_Library::C_Integer< char > | |
| Parma_Polyhedra_Library::C_Integer< signed char > | |
| Parma_Polyhedra_Library::C_Integer< signed int > | |
| Parma_Polyhedra_Library::C_Integer< signed long > | |
| Parma_Polyhedra_Library::C_Integer< signed long long > | |
| Parma_Polyhedra_Library::C_Integer< signed short > | |
| Parma_Polyhedra_Library::C_Integer< unsigned char > | |
| Parma_Polyhedra_Library::C_Integer< unsigned int > | |
| Parma_Polyhedra_Library::C_Integer< unsigned long > | |
| Parma_Polyhedra_Library::C_Integer< unsigned long long > | |
| Parma_Polyhedra_Library::C_Integer< unsigned short > | |
| Parma_Polyhedra_Library::Checked::Safe_Conversion< T, T > | |
| Parma_Polyhedra_Library::FPU_Related< double > | |
| Parma_Polyhedra_Library::FPU_Related< float > | |
| Parma_Polyhedra_Library::FPU_Related< long double > | |
| Parma_Polyhedra_Library::Has_Assign_Or_Swap< T, typename Enable_If_Is< void(T::*)(T &x),&T::assign_or_swap >::type > | |
| Parma_Polyhedra_Library::Has_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type > | |
| Parma_Polyhedra_Library::Is_Checked< Checked_Number< T, P > > | |
| Parma_Polyhedra_Library::Is_Native< char > | |
| Parma_Polyhedra_Library::Is_Native< mpq_class > | |
| Parma_Polyhedra_Library::Is_Native< mpz_class > | |
| Parma_Polyhedra_Library::Is_Native< signed char > | |
| Parma_Polyhedra_Library::Is_Native< signed int > | |
| Parma_Polyhedra_Library::Is_Native< signed long > | |
| Parma_Polyhedra_Library::Is_Native< signed long long > | |
| Parma_Polyhedra_Library::Is_Native< signed short > | |
| Parma_Polyhedra_Library::Is_Native< unsigned char > | |
| Parma_Polyhedra_Library::Is_Native< unsigned int > | |
| Parma_Polyhedra_Library::Is_Native< unsigned long > | |
| Parma_Polyhedra_Library::Is_Native< unsigned long long > | |
| Parma_Polyhedra_Library::Is_Native< unsigned short > | |
| Parma_Polyhedra_Library::Is_Same< T, T > | A class holding a constant called value that evaluates to true if and only if T1 is the same type as T2 |
| Parma_Polyhedra_Library::Is_Special< Minus_Infinity > | |
| Parma_Polyhedra_Library::Is_Special< Not_A_Number > | |
| Parma_Polyhedra_Library::Is_Special< Plus_Infinity > | |
| Parma_Polyhedra_Library::Slow_Copy< mpq_class > | |
| Parma_Polyhedra_Library::Slow_Copy< mpz_class > | |
| Parma_Polyhedra_Library::Use_By_Ref< By_Ref, T > | |
| Parma_Polyhedra_Library::Box< ITV > | A not necessarily closed, iso-oriented hyperrectangle |
| Parma_Polyhedra_Library::c_streambuf | |
| Parma_Polyhedra_Library::Cast_Operator | A cast operator converting one concrete expression to some type |
| Parma_Polyhedra_Library::Cast_Operator_Common< Target > | Base class for cast operator concrete expressions |
| Parma_Polyhedra_Library::Check_Overflow_Policy< T > | A 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_Transparent_Policy< T > | |
| Parma_Polyhedra_Library::CO_Tree | A cache-oblivious binary search tree of pairs |
| 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::BHRZ03_Certificate::Compare | A total ordering on BHRZ03 certificates |
| Parma_Polyhedra_Library::Variable::Compare | Binary predicate defining the total ordering on variables |
| Parma_Polyhedra_Library::Grid_Certificate::Compare | A total ordering on Grid certificates |
| Parma_Polyhedra_Library::H79_Certificate::Compare | A total ordering on H79 certificates |
| Parma_Polyhedra_Library::Compile_Time_Check< true > | A class that is only defined if b evaluates to true |
| Parma_Polyhedra_Library::Concrete_Expression | The base class of all concrete expressions |
| Parma_Polyhedra_Library::Concrete_Expression_Common< Target > | Base class for all concrete expressions |
| Parma_Polyhedra_Library::Concrete_Expression_Type | The type of a concrete expression |
| Parma_Polyhedra_Library::Congruences_Reduction< D1, D2 > | This class provides the reduction method for the Congruences_Product domain |
| Parma_Polyhedra_Library::Generator_System::const_iterator | An iterator over a system of generators |
| Parma_Polyhedra_Library::Grid_Generator_System::const_iterator | An iterator over a system of grid generators |
| Parma_Polyhedra_Library::CO_Tree::const_iterator | A const iterator on the tree elements, ordered by key |
| Parma_Polyhedra_Library::Congruence_System::const_iterator | An iterator over a system of congruences |
| Parma_Polyhedra_Library::Constraint_System::const_iterator | An iterator over a system of constraints |
| Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator | A read-only iterator over the rows of the matrix |
| Parma_Polyhedra_Library::Dense_Matrix::const_iterator | An iterator over a matrix |
| Parma_Polyhedra_Library::Dense_Row::const_iterator | |
| Parma_Polyhedra_Library::MIP_Problem::const_iterator | A read-only iterator on the constraints defining the feasible region |
| Parma_Polyhedra_Library::const_iterator_to_const< Container > | A const_iterator on a sequence of read-only objects |
| Parma_Polyhedra_Library::Constraints_Reduction< D1, D2 > | This class provides the reduction method for the Constraints_Product domain |
| Parma_Polyhedra_Library::DB_Matrix< T > | The base class for the square matrices |
| Parma_Polyhedra_Library::DB_Row_Impl_Handler< T > | The handler of the actual DB_Row implementation |
| Parma_Polyhedra_Library::DB_Row< T > | The base class for the single rows of matrices |
| Parma_Polyhedra_Library::Debug_WRD_Extended_Number_Policy | The debugging policy for checked numbers used in weakly-relational domains |
| Parma_Polyhedra_Library::Dense_Matrix | A 2-dimensional matrix of coefficients |
| Parma_Polyhedra_Library::Congruence_System | A system of congruences |
| Parma_Polyhedra_Library::Linear_System | The base class for systems of constraints and generators |
| Parma_Polyhedra_Library::Constraint_System | A system of constraints |
| Parma_Polyhedra_Library::Generator_System | A system of generators |
| Parma_Polyhedra_Library::Grid_Generator_System | A system of grid generators |
| Parma_Polyhedra_Library::Dense_Row | A finite sequence of coefficients |
| Parma_Polyhedra_Library::Congruence | A linear congruence |
| Parma_Polyhedra_Library::Linear_Row | The base class for linear expressions, constraints and generators |
| Parma_Polyhedra_Library::Constraint | A linear equality or inequality |
| Parma_Polyhedra_Library::Generator | A line, ray, point or closure point |
| Parma_Polyhedra_Library::Grid_Generator | A grid line, parameter or grid point |
| Parma_Polyhedra_Library::Linear_Expression | A linear expression |
| Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter | Artificial parameters in PIP solution trees |
| Parma_Polyhedra_Library::Determinate< PSET > | A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98] |
| Parma_Polyhedra_Library::Domain_Product< D1, D2 > | This class is temporary and will be removed when template typedefs will be supported in C++ |
| Parma_Polyhedra_Library::Implementation::Watchdog::Doubly_Linked_Object | A (base) class for doubly linked objects |
| Parma_Polyhedra_Library::Implementation::Watchdog::EList< T > | A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves) |
| Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold > | A class for pending watchdog events with embedded links |
| Parma_Polyhedra_Library::Implementation::Watchdog::EList_Iterator< T > | A class providing iterators for embedded lists |
| Parma_Polyhedra_Library::Enable_If< b, T > | A class that provides a type member called type equivalent to T if and only if b is true |
| Parma_Polyhedra_Library::Enable_If< true, T > | A class that provides a type member called type equivalent to T if and only if b is true |
| Parma_Polyhedra_Library::Enable_If_Is< Type, Type, T > | |
| Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp > | |
| Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type > | |
| Parma_Polyhedra_Library::Extended_Number_Policy | |
| Parma_Polyhedra_Library::Fit< T, v, typename Enable_If< C_Integer< T >::value >::type > | |
| Parma_Polyhedra_Library::Checked::Float_2exp | |
| Parma_Polyhedra_Library::float_ibm_double | |
| Parma_Polyhedra_Library::float_ibm_single | |
| Parma_Polyhedra_Library::float_ieee754_double | |
| Parma_Polyhedra_Library::float_ieee754_half | |
| Parma_Polyhedra_Library::float_ieee754_quad | |
| Parma_Polyhedra_Library::float_ieee754_single | |
| Parma_Polyhedra_Library::float_intel_double_extended | |
| Parma_Polyhedra_Library::Floating_Point_Constant | A floating-point constant concrete expression |
| Parma_Polyhedra_Library::Floating_Point_Constant_Common< Target > | Base class for floating-point constant concrete expression |
| Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format > | A floating point expression on a given format |
| Parma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Cast Floating Point Expression |
| Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Constant Floating Point Expression |
| Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Difference Floating Point Expression |
| Parma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Division Floating Point Expression |
| Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Multiplication Floating Point Expression |
| Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Opposite Floating Point Expression |
| Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Sum Floating Point Expression |
| Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format > | A generic Variable Floating Point Expression |
| Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > | An abstract class to be implemented by an external analyzer such as ECLAIR in order to provide to the PPL the necessary information for performing the analysis of floating point computations |
| Parma_Polyhedra_Library::GMP_Integer | Unbounded integers as provided by the GMP library |
| Parma_Polyhedra_Library::Grid | A grid |
| Parma_Polyhedra_Library::Grid_Certificate | The convergence certificate for the Grid widening operator |
| Parma_Polyhedra_Library::H79_Certificate | A convergence certificate for the H79 widening operator |
| Parma_Polyhedra_Library::Implementation::Watchdog::Handler | Abstract base class for handlers of the watchdog events |
| Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag< Flag_Base, Flag > | A kind of Handler that installs a flag onto a flag-holder |
| Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function | A kind of Handler calling a given function |
| Parma_Polyhedra_Library::I_Constraint_Base | |
| Parma_Polyhedra_Library::I_Constraint_Common< I_Constraint< T, Val_Or_Ref_Criteria, extended > > | |
| Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended > | |
| Parma_Polyhedra_Library::I_Constraint_Common< Derived > | |
| Parma_Polyhedra_Library::I_Constraint_Rel | |
| Parma_Polyhedra_Library::ia32_fenv_t | |
| Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl | The real implementation of a DB_Row object |
| Parma_Polyhedra_Library::Dense_Row::Impl | |
| Parma_Polyhedra_Library::Concrete_Expression_Type::Implementation | A 32-bit word encoding the type |
| Parma_Polyhedra_Library::MIP_Problem::Inherit_Constraints | A tag type to distinguish normal vs. inheriting copy constructor |
| Parma_Polyhedra_Library::Init | Class for initialization and finalization |
| Parma_Polyhedra_Library::Threshold_Watcher< Traits >::Initialize | |
| Parma_Polyhedra_Library::Integer_Constant | An integer constant concrete expression |
| Parma_Polyhedra_Library::Integer_Constant_Common< Target > | Base class for integer constant concrete expressions |
| Parma_Polyhedra_Library::Integer_Interval_Info_Policy | |
| Parma_Polyhedra_Library::Interval_Base | |
| Parma_Polyhedra_Library::Interval< Boundary, Info > | A generic, not necessarily closed, possibly restricted interval |
| Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy > | |
| Parma_Polyhedra_Library::Interval_Info_Null< Policy > | |
| Parma_Polyhedra_Library::Interval_Info_Null_Open< Policy > | |
| Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived > | A class holding a constant called value that evaluates to true if and only if Base is the same type as Derived or Derived is a class derived from Base |
| Parma_Polyhedra_Library::Is_Same_Or_Derived< Interval_Base, T > | |
| Parma_Polyhedra_Library::Is_Interval< T > | |
| Parma_Polyhedra_Library::is_signed||sizeof(T1)< sizeof(T2)||sizeof(T1)< sizeof(int)))> | |
| Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, typename Enable_If<(C_Integer< T1 >::value &&C_Integer< T2 >::value)>::type > | |
| Parma_Polyhedra_Library::Dense_Row::iterator | |
| Parma_Polyhedra_Library::CO_Tree::iterator | An iterator on the tree elements, ordered by key |
| Parma_Polyhedra_Library::iterator_to_const< Container > | An iterator on a sequence of read-only objects |
| Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp > | |
| Parma_Polyhedra_Library::Checked::Larger< char > | |
| 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::Limited_Widening_Function< PSET, CSYS > | Wraps a limited widening method into a function object |
| Parma_Polyhedra_Library::Linear_Form< C > | A linear form with interval coefficients |
| Parma_Polyhedra_Library::maybe_assign_struct< To, From > | |
| Parma_Polyhedra_Library::maybe_assign_struct< Type, Type > | |
| Parma_Polyhedra_Library::Minus_Infinity | |
| Parma_Polyhedra_Library::MIP_Problem | A Mixed Integer (linear) Programming problem |
| Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > > | |
| Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > | |
| Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > > | |
| Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > | |
| Parma_Polyhedra_Library::PIP_Solution_Node::No_Constraints | A tag type to select the alternative copy constructor |
| Parma_Polyhedra_Library::No_Reduction< D1, D2 > | This class provides the reduction method for the Direct_Product domain |
| Parma_Polyhedra_Library::Not_A_Number | |
| Parma_Polyhedra_Library::Checked::number_struct | |
| Parma_Polyhedra_Library::Numeric_Format | |
| std::numeric_limits< mpq_class > | Specialization of std::numeric_limits |
| std::numeric_limits< Checked_Number< mpq_class, Policy > > | Partial specialization of std::numeric_limits |
| std::numeric_limits< mpz_class > | Specialization of std::numeric_limits |
| std::numeric_limits< Checked_Number< mpz_class, Policy > > | Partial specialization of std::numeric_limits |
| Parma_Polyhedra_Library::Octagonal_Shape< T > | An octagonal shape |
| Parma_Polyhedra_Library::OR_Matrix< T > | A matrix representing octagonal constraints |
| Parma_Polyhedra_Library::Partial_Function | |
| Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R > | The partially reduced product of two abstractions |
| Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits > | An ordered list for recording pending watchdog events |
| Parma_Polyhedra_Library::PIP_Problem | A Parametric Integer (linear) Programming problem |
| Parma_Polyhedra_Library::PIP_Tree_Node | A node of the PIP solution tree |
| Parma_Polyhedra_Library::PIP_Decision_Node | A tree node representing a decision in the space of solutions |
| Parma_Polyhedra_Library::PIP_Solution_Node | A tree node representing part of the space of solutions |
| Parma_Polyhedra_Library::Plus_Infinity | |
| Parma_Polyhedra_Library::Poly_Con_Relation | The relation between a polyhedron and a constraint |
| Parma_Polyhedra_Library::Poly_Gen_Relation | The relation between a polyhedron and a generator |
| Parma_Polyhedra_Library::Polyhedron | The base class for convex polyhedra |
| Parma_Polyhedra_Library::C_Polyhedron | A closed convex polyhedron |
| Parma_Polyhedra_Library::NNC_Polyhedron | A not necessarily closed convex polyhedron |
| Parma_Polyhedra_Library::Powerset< D > | The powerset construction on a base-level domain |
| Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PSET > > | |
| Parma_Polyhedra_Library::Pointset_Powerset< PSET > | The powerset construction instantiated on PPL pointset domains |
| Parma_Polyhedra_Library::Boundary_NS::Property | |
| Parma_Polyhedra_Library::Interval_NS::Property | |
| Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U > | An object that behaves like a matrix's row with respect to the subscript operators |
| Parma_Polyhedra_Library::Implementation::Ptr_Iterator< P > | A class to define STL const and non-const iterators from pointer types |
| Parma_Polyhedra_Library::MIP_Problem::RAII_Temporary_Real_Relaxation | A helper class to temporarily relax a MIP problem using RAII |
| Parma_Polyhedra_Library::Rational_Interval_Info_Policy | |
| Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp > | |
| Parma_Polyhedra_Library::Recycle_Input | A tag class |
| Parma_Polyhedra_Library::Determinate< PSET >::Rep | The possibly shared representation of a Determinate object |
| Parma_Polyhedra_Library::Row_Flags | Wrapper class to represent a set of flags with bits in a native unsigned integral type |
| Parma_Polyhedra_Library::Linear_Row::Flags | The type of the object to which the coefficients refer to, encoding both topology and kind |
| Parma_Polyhedra_Library::Linear_System::Row_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
| Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy | |
| Parma_Polyhedra_Library::Scalar_Products | A class implementing various scalar product functions |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< char > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed char > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed int > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed long > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed short > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned char > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned int > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long long > | |
| Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned short > | |
| Parma_Polyhedra_Library::Shape_Preserving_Reduction< D1, D2 > | This class provides the reduction method for the Shape_Preserving_Product domain |
| Parma_Polyhedra_Library::Smash_Reduction< D1, D2 > | This class provides the reduction method for the Smash_Product domain |
| Parma_Polyhedra_Library::Sparse_Matrix | A sparse matrix of Coefficient |
| Parma_Polyhedra_Library::Sparse_Row | A finite sparse sequence of coefficients |
| Parma_Polyhedra_Library::Grid::Status | A conjunctive assertion about a grid |
| Parma_Polyhedra_Library::Polyhedron::Status | A conjunctive assertion about a polyhedron |
| Parma_Polyhedra_Library::BD_Shape< T >::Status | A conjunctive assertion about a BD_Shape<T> object |
| Parma_Polyhedra_Library::Octagonal_Shape< T >::Status | A conjunctive assertion about a Octagonal_Shape<T> object |
| Parma_Polyhedra_Library::Box< ITV >::Status | |
| Parma_Polyhedra_Library::stdiobuf | |
| Parma_Polyhedra_Library::Suppress_Uninitialized_Warnings_Type< T > | |
| Parma_Polyhedra_Library::PIP_Solution_Node::Tableau | The type for parametric simplex tableau |
| Parma_Polyhedra_Library::TConstant< T, v > | |
| Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, Enable > | |
| Parma_Polyhedra_Library::TConstant< C_Integer< T >::smaller_signed_type, v > | |
| Parma_Polyhedra_Library::Constant_< C_Integer< T >::smaller_signed_type, v, prefer_signed > | |
| Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_signed_type, v >::value &&(prefer_signed||!Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value))>::type > | |
| Parma_Polyhedra_Library::TConstant< C_Integer< T >::smaller_unsigned_type, v > | |
| Parma_Polyhedra_Library::Constant_< C_Integer< T >::smaller_unsigned_type, v, prefer_signed > | |
| Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value &&(!prefer_signed||!Fit< typename C_Integer< T >::smaller_signed_type, v >::value))>::type > | |
| Parma_Polyhedra_Library::TConstant< long long, v > | |
| Parma_Polyhedra_Library::Constant_< long long, v, prefer_signed > | |
| Parma_Polyhedra_Library::Constant< v, prefer_signed > | |
| Parma_Polyhedra_Library::Temp_Item< T > | A pool of temporary items of type T |
| Parma_Polyhedra_Library::Temp_Reference_Holder< T > | An holder for a reference to a temporary object |
| Parma_Polyhedra_Library::Dirty_Temp< T, typename Enable_If< Slow_Copy< T >::value >::type > | Specialization for the handling of temporaries with a free list |
| Parma_Polyhedra_Library::Temp_Value_Holder< T > | An (fake) holder for the value of a temporary object |
| Parma_Polyhedra_Library::Dirty_Temp< T, typename Enable_If<!Slow_Copy< T >::value >::type > | Specialization for the handling of temporaries with local variables |
| Parma_Polyhedra_Library::Threshold_Watcher< Traits > | A class of watchdogs controlling the exceeding of a threshold |
| Parma_Polyhedra_Library::Throwable | User objects the PPL can throw |
| Parma_Polyhedra_Library::Implementation::Watchdog::Time | A class for representing and manipulating positive time intervals |
| Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign | Scalar product sign function object depending on topology |
| Parma_Polyhedra_Library::CO_Tree::tree_iterator | |
| Parma_Polyhedra_Library::Unary_Operator | A unary operator applied to one concrete expression |
| Parma_Polyhedra_Library::Unary_Operator_Common< Target > | Base class for unary operator applied to one concrete expression |
| Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If< Use_By_Ref< Criteria, T >::value >::type > | |
| Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type > | |
| Parma_Polyhedra_Library::Variable | A dimension of the vector space |
| Parma_Polyhedra_Library::Variables_Set | An std::set of variables' indexes |
| Parma_Polyhedra_Library::Watchdog | A watchdog timer |
| Parma_Polyhedra_Library::Watchdog_Traits | |
| Parma_Polyhedra_Library::Weight_Profiler | |
| Parma_Polyhedra_Library::Weightwatch_Traits | Traits class for the deterministic timeout mechanism |
| Parma_Polyhedra_Library::Widening_Function< PSET > | Wraps a widening method into a function object |
| Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator | An iterator keeping a Linear_System consistent with a Bit_Matrix |
| Parma_Polyhedra_Library::Linear_System::With_Pending | A tag class |
| Parma_Polyhedra_Library::Implementation::Wrap_Dim_Translations | |
| Parma_Polyhedra_Library::WRD_Extended_Number_Policy | The production policy for checked numbers used in weakly-relational domains |
1.8.0-20120409