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::Bit_MatrixA matrix of bits
Parma_Polyhedra_Library::Bit_Matrix::Bit_Row_Less_ThanOrdering predicate (used when implementing the sort algorithm)
Parma_Polyhedra_Library::Bit_RowA row in a matrix of bits
Parma_Polyhedra_Library::Bool< b >A class holding a constant called value that evaluates to b
Parma_Polyhedra_Library::Boundary_Value< T, Enable >
Parma_Polyhedra_Library::Boundary_Value< T, typename Enable_If< Is_Same_Or_Derived< Interval_Base, T >::value >::type >
Parma_Polyhedra_Library::Box< ITV >A not necessarily closed, iso-oriented hyperrectangle
Parma_Polyhedra_Library::Box< ITV >::Status
Parma_Polyhedra_Library::C_PolyhedronA closed convex polyhedron
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_Default_Policy
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >
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::Compile_Time_Check< true >A class that is only defined if b evaluates to true
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::const_iterator_to_const< Container >A const_iterator on a sequence of read-only objects
Parma_Polyhedra_Library::Constant< v, prefer_signed >
Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, Enable >
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::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::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::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_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< PS >Wraps a PPL class into a determinate constraint system interface
Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >A function adapter for the Determinate class
Parma_Polyhedra_Library::Determinate< PS >::RepThe possibly shared representation of a Determinate object
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::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::FalseA class holding a constant called value that evaluates to false
Parma_Polyhedra_Library::Fit< T, v, Enable >
Parma_Polyhedra_Library::Fit< T, v, typename Enable_If< C_Integer< T >::value >::type >
Parma_Polyhedra_Library::Float< T >
Parma_Polyhedra_Library::Checked::Float_2exp
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::FPU_Related< Checked_Number< T, Policy > >
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 grid line, parameter or grid 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::Has_OK< T, Enable >
Parma_Polyhedra_Library::Has_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type >
Parma_Polyhedra_Library::InitClass for initialization and finalization
Parma_Polyhedra_Library::Interval< Boundary, Info >A generic, not necessarily closed, possibly restricted interval
Parma_Polyhedra_Library::Interval_Base
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::Interval_Restriction_Integer< Base >
Parma_Polyhedra_Library::Interval_Restriction_Integer_Base
Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo< T, Base >
Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo_Base
Parma_Polyhedra_Library::Interval_Restriction_None< Base >
Parma_Polyhedra_Library::Interval_Restriction_None_Base
Parma_Polyhedra_Library::Is_Checked< T >
Parma_Polyhedra_Library::Is_Checked< Checked_Number< T, P > >
Parma_Polyhedra_Library::Is_Interval< T >
Parma_Polyhedra_Library::Is_Native< T >
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_Native_Or_Checked< 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_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_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< Base, Derived >::AnyA class that is constructible from just anything
Parma_Polyhedra_Library::Is_Singleton< T, Enable >
Parma_Polyhedra_Library::Is_Special< T >
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::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< 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< 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_Bit_Matrix_iteratorAn iterator keeping a Linear_System consistent with a Bit_Matrix
Parma_Polyhedra_Library::Linear_System::With_PendingA tag class
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::MIP_ProblemA 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::NNC_PolyhedronA not necessarily closed convex polyhedron
Parma_Polyhedra_Library::No_Reduction< D1, D2 >
Parma_Polyhedra_Library::Not_A_Number
Parma_Polyhedra_Library::Checked::number_struct
Parma_Polyhedra_Library::Octagonal_Shape< T >An octagonal shape
Parma_Polyhedra_Library::Octagonal_Shape< T >::StatusA conjunctive assertion about a Octagonal_Shape<T> object
Parma_Polyhedra_Library::OR_Matrix< T >A matrix representing octagonal constraints
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::OR_Matrix< T >::Pseudo_Row< U >An object that behaves like a matrix's row with respect to the subscript operators
Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >The partially reduced product of two abstractions
Parma_Polyhedra_Library::Plus_Infinity
Parma_Polyhedra_Library::Pointset_Powerset< PS >The powerset construction instantiated on PPL pointset domains
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::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::Interval_NS::Property
Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >
Parma_Polyhedra_Library::Recycle_InputA tag class
Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >
Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >
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::Checked::Safe_Conversion< T1, T2 >
Parma_Polyhedra_Library::Checked::Safe_Conversion< T, T >
Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, Enable >
Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, typename Enable_If<(C_Integer< T1 >::value &&C_Integer< T2 >::value)>::type >
Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy
Parma_Polyhedra_Library::Scalar_ProductsA class implementing various scalar product functions
Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type >
Parma_Polyhedra_Library::Select_Temp_Boundary_Type< float >
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::Simple_Restriction_Integer
Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >
Parma_Polyhedra_Library::Slow_Copy< Checked_Number< T, P > >
Parma_Polyhedra_Library::Slow_Copy< Interval_Restriction_Integer_Modulo< T, Base > >
Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >This class provides the reduction method for the Smash_Product domain
StatusA conjunctive assertion about a polyhedron
Parma_Polyhedra_Library::stdiobuf
Parma_Polyhedra_Library::TConstant< T, v >
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::TrueA class holding a constant called value that evaluates to true
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
Parma_Polyhedra_Library::WRD_Extended_Number_Policy

Generated on Sat Oct 11 10:40:49 2008 for PPL by  doxygen 1.5.6