Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 1234]

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