PPL  0.12.1
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 1234]
oNParma_Polyhedra_LibraryThe entire library is confined to this namespace
|oN@302
|oNBoundary_NS
||\CProperty
|oNCheckedTypes and functions implementing checked numbers
||oCnumber_struct
||oCSafe_Conversion
||oCSafe_Conversion< T, T >
||oCSafe_Int_Comparison
||oCSafe_Int_Comparison< T1, T2, typename Enable_If<(C_Integer< T1 >::value &&C_Integer< T2 >::value)>::type >
||oCFloat_2exp
||oCExtended_Int
||oCLarger< char >
||oCLarger< signed char >
||oCLarger< unsigned char >
||oCLarger< signed short >
||oCLarger< unsigned short >
||oCLarger< signed int >
||oCLarger< unsigned int >
||oCLarger< signed long >
||oCLarger< unsigned long >
||oCLarger< signed long long >
||\CLarger< unsigned long long >
|oNImplementationImplementation related data and functions
||oNBD_Shapes
||oNBoxes
||oNOctagonal_Shapes
||oNPointset_Powersets
||oNTermination
||oNWatchdog
|||oCDoubly_Linked_ObjectA (base) class for doubly linked objects
|||oCEListA simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves)
|||oCEList_IteratorA class providing iterators for embedded lists
|||oCHandlerAbstract base class for handlers of the watchdog events
|||oCHandler_FlagA kind of Handler that installs a flag onto a flag-holder
|||oCHandler_FunctionA kind of Handler calling a given function
|||oCPending_ElementA class for pending watchdog events with embedded links
|||oCPending_ListAn ordered list for recording pending watchdog events
|||\CTimeA class for representing and manipulating positive time intervals
||oCPtr_IteratorA class to define STL const and non-const iterators from pointer types
||\CWrap_Dim_Translations
|oNInterfacesData and functions related to language interfaces
||oNCData and functions related to the C language interface
||oNJavaData and functions related to the Java language interface
||oNOCamlData and functions related to the OCaml language interface
||\NPrologData and functions related to the Prolog language interfaces
|| oNCiaoData and functions related to the Ciao Prolog language interface
|| oNGNUData and functions related to the GNU Prolog language interface
|| oNSICStusData and functions related to the SICStus language interface
|| oNSWIData and functions related to the SWI-Prolog language interface
|| oNXSBData and functions related to the XSB language interface
|| \NYAPData and functions related to the YAP language interface
|oNInterval_NS
||oCScalar_As_Interval_Policy
||\CProperty
|oNIO_OperatorsAll input/output operators are confined to this namespace
|oCAffine_SpaceAn affine space
|oCAny_PointsetAny PPL pointset
|oCAsk_Tell_PairA pair of ask and tell descriptions
|oCAsk_TellThe ask and tell construction on a base-level domain
|oCBD_ShapeA bounded difference shape
||\CStatusA conjunctive assertion about a BD_Shape<T> object
|oCBHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
||\CCompareA total ordering on BHRZ03 certificates
|oCBit_MatrixA matrix of bits
||\CBit_Row_Less_ThanOrdering predicate (used when implementing the sort algorithm)
|oCBit_RowA row in a matrix of bits
|oCBoxA not necessarily closed, iso-oriented hyperrectangle
||\CStatus
|oCC_Integer
|oCC_Integer< char >
|oCC_Integer< signed char >
|oCC_Integer< signed short >
|oCC_Integer< signed int >
|oCC_Integer< signed long >
|oCC_Integer< signed long long >
|oCC_Integer< unsigned char >
|oCC_Integer< unsigned short >
|oCC_Integer< unsigned int >
|oCC_Integer< unsigned long >
|oCC_Integer< unsigned long long >
|oCC_PolyhedronA closed convex polyhedron
|oCc_streambuf
|oCCast_Floating_Point_ExpressionA generic Cast Floating Point Expression
|oCMinus_Infinity
|oCPlus_Infinity
|oCNot_A_Number
|oCIs_Special
|oCIs_Special< Minus_Infinity >
|oCIs_Special< Plus_Infinity >
|oCIs_Special< Not_A_Number >
|oCChecked_Number_Transparent_Policy
|oCFPU_Related
|oCFPU_Related< float >
|oCFPU_Related< double >
|oCFPU_Related< long double >
|oCExtended_Number_Policy
|oCCheck_Overflow_PolicyA policy checking for overflows
|oCNative_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >
|oCNative_Checked_From_Wrapper< Checked_Number< T, P > >
|oCNative_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >
|oCNative_Checked_To_Wrapper< Checked_Number< T, P > >
|oCIs_Checked
|oCIs_Checked< Checked_Number< T, P > >
|oCIs_Native_Or_Checked
|oCChecked_NumberA wrapper for numeric types implementing a given policy
|oCSlow_Copy< Checked_Number< T, P > >
|oCFPU_Related< Checked_Number< T, Policy > >
|oCCO_TreeA cache-oblivious binary search tree of pairs
||oCconst_iteratorA const iterator on the tree elements, ordered by key
||oCiteratorAn iterator on the tree elements, ordered by key
||\Ctree_iterator
|oCCoefficient_traits_templateCoefficient traits
|oCSuppress_Uninitialized_Warnings_Type
|oCConcrete_Expression_TypeThe type of a concrete expression
||\CImplementationA 32-bit word encoding the type
|oCConcrete_Expression_CommonBase class for all concrete expressions
|oCBinary_Operator_CommonBase class for binary operator applied to two concrete expressions
|oCUnary_Operator_CommonBase class for unary operator applied to one concrete expression
|oCCast_Operator_CommonBase class for cast operator concrete expressions
|oCInteger_Constant_CommonBase class for integer constant concrete expressions
|oCFloating_Point_Constant_CommonBase class for floating-point constant concrete expression
|oCApproximable_Reference_CommonBase class for references to some approximable
|oCCongruenceA linear congruence
|oCCongruence_SystemA system of congruences
||\Cconst_iteratorAn iterator over a system of congruences
|oCConstant_Floating_Point_ExpressionA generic Constant Floating Point Expression
|oCConstraintA linear equality or inequality
|oCConstraint_SystemA system of constraints
||\Cconst_iteratorAn iterator over a system of constraints
|oCDB_MatrixThe base class for the square matrices
||\Cconst_iteratorA read-only iterator over the rows of the matrix
|oCDB_Row_Impl_HandlerThe handler of the actual DB_Row implementation
||\CImplThe real implementation of a DB_Row object
|oCDB_RowThe base class for the single rows of matrices
|oCDense_MatrixA 2-dimensional matrix of coefficients
||\Cconst_iteratorAn iterator over a matrix
|oCDense_RowA finite sequence of coefficients
||oCconst_iterator
||oCImpl
||\Citerator
|oCDeterminateA wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
||oCBinary_Operator_Assign_LifterA function adapter for the Determinate class
||\CRepThe possibly shared representation of a Determinate object
|oCDifference_Floating_Point_ExpressionA generic Difference Floating Point Expression
|oCRectilinear_Distance_Specialization
|oCEuclidean_Distance_Specialization
|oCL_Infinity_Distance_Specialization
|oCmaybe_assign_struct
|oCmaybe_assign_struct< Type, Type >
|oCDivision_Floating_Point_ExpressionA generic Division Floating Point Expression
|oCfloat_ieee754_half
|oCfloat_ieee754_single
|oCfloat_ieee754_double
|oCfloat_ibm_single
|oCfloat_ibm_double
|oCfloat_intel_double_extended
|oCfloat_ieee754_quad
|oCFloat
|oCFP_OracleAn 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
|oCFloating_Point_ExpressionA floating point expression on a given format
|oCia32_fenv_t
|oCGeneratorA line, ray, point or closure point
|oCGenerator_SystemA system of generators
||\Cconst_iteratorAn iterator over a system of generators
|oCWeightwatch_TraitsTraits class for the deterministic timeout mechanism
|oCThrowableUser objects the PPL can throw
|oCRecycle_InputA tag class
|oCFit
|oCFit< T, v, typename Enable_If< C_Integer< T >::value >::type >
|oCTConstant
|oCConstant_
|oCConstant_< 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 >
|oCConstant_< 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 >
|oCConstant
|oCHas_OK
|oCHas_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type >
|oCCoefficient_traits_template< GMP_Integer >Coefficient traits specialization for unbounded integers
|oCGridA grid
||\CStatusA conjunctive assertion about a grid
|oCGrid_CertificateThe convergence certificate for the Grid widening operator
||\CCompareA total ordering on Grid certificates
|oCGrid_GeneratorA grid line, parameter or grid point
|oCGrid_Generator_SystemA system of grid generators
||\Cconst_iteratorAn iterator over a system of grid generators
|oCH79_CertificateA convergence certificate for the H79 widening operator
||\CCompareA total ordering on H79 certificates
|oCHas_Assign_Or_Swap
|oCHas_Assign_Or_Swap< T, typename Enable_If_Is< void(T::*)(T &x),&T::assign_or_swap >::type >
|oCInitClass for initialization and finalization
|oCInteger_Interval_Info_Policy
|oCInterval_Base
|oCIs_Singleton
|oCIs_Interval
|oCIntervalA generic, not necessarily closed, possibly restricted interval
|oCSelect_Temp_Boundary_Type
|oCSelect_Temp_Boundary_Type< char >
|oCSelect_Temp_Boundary_Type< signed char >
|oCSelect_Temp_Boundary_Type< unsigned char >
|oCSelect_Temp_Boundary_Type< signed short >
|oCSelect_Temp_Boundary_Type< unsigned short >
|oCSelect_Temp_Boundary_Type< signed int >
|oCSelect_Temp_Boundary_Type< unsigned int >
|oCSelect_Temp_Boundary_Type< signed long >
|oCSelect_Temp_Boundary_Type< unsigned long >
|oCSelect_Temp_Boundary_Type< unsigned long long >
|oCInterval_Info_Null
|oCInterval_Info_Null_Open
|oCInterval_Info_Bitset
|oCUse_By_Ref< Use_Slow_Copy, T >
|oCUse_By_Ref< By_Value, T >
|oCUse_By_Ref< By_Ref, T >
|oCVal_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type >
|oCVal_Or_Ref< T, Criteria, typename Enable_If< Use_By_Ref< Criteria, T >::value >::type >
|oCI_Constraint_Base
|oCI_Constraint_Common
|oCI_Constraint_Rel
|oCI_Constraint
|oCiterator_to_constAn iterator on a sequence of read-only objects
|oCconst_iterator_to_constA const_iterator on a sequence of read-only objects
|oCLinear_ExpressionA linear expression
|oCLinear_FormA linear form with interval coefficients
|oCLinear_RowThe base class for linear expressions, constraints and generators
||\CFlagsThe type of the object to which the coefficients refer to, encoding both topology and kind
|oCLinear_SystemThe base class for systems of constraints and generators
||oCRow_Less_ThanOrdering predicate (used when implementing the sort algorithm)
||oCWith_Bit_Matrix_iteratorAn iterator keeping a Linear_System consistent with a Bit_Matrix
||\CWith_PendingA tag class
|oCCompile_Time_Check< true >A class that is only defined if b evaluates to true
|oCBoolA class holding a constant called value that evaluates to b
|oCTrueA class holding a constant called value that evaluates to true
|oCFalseA class holding a constant called value that evaluates to false
|oCIs_SameA class holding a constant called value that evaluates to true if and only if T1 is the same type as T2
|oCIs_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
|oCIs_Same_Or_DerivedA 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
||\CAnyA class that is constructible from just anything
|oCEnable_IfA class that provides a type member called type equivalent to T if and only if b is true
|oCEnable_If_Is
|oCEnable_If< true, T >A class that provides a type member called type equivalent to T if and only if b is true
|oCIs_Native
|oCIs_Native< char >
|oCIs_Native< signed char >
|oCIs_Native< signed short >
|oCIs_Native< signed int >
|oCIs_Native< signed long >
|oCIs_Native< signed long long >
|oCIs_Native< unsigned char >
|oCIs_Native< unsigned short >
|oCIs_Native< unsigned int >
|oCIs_Native< unsigned long >
|oCIs_Native< unsigned long long >
|oCIs_Native< mpz_class >
|oCIs_Native< mpq_class >
|oCMIP_ProblemA Mixed Integer (linear) Programming problem
||oCconst_iteratorA read-only iterator on the constraints defining the feasible region
||oCInherit_ConstraintsA tag type to distinguish normal vs. inheriting copy constructor
||\CRAII_Temporary_Real_RelaxationA helper class to temporarily relax a MIP problem using RAII
|oCMultiplication_Floating_Point_ExpressionA generic Multiplication Floating Point Expression
|oCNNC_PolyhedronA not necessarily closed convex polyhedron
|oCNumeric_Format
|oCOctagonal_ShapeAn octagonal shape
||\CStatusA conjunctive assertion about a Octagonal_Shape<T> object
|oCOpposite_Floating_Point_ExpressionA generic Opposite Floating Point Expression
|oCOR_MatrixA matrix representing octagonal constraints
||oCany_row_iteratorA template class to derive both OR_Matrix::iterator and OR_Matrix::const_iterator
||\CPseudo_RowAn object that behaves like a matrix's row with respect to the subscript operators
|oCPartial_Function
|oCSmash_ReductionThis class provides the reduction method for the Smash_Product domain
|oCConstraints_ReductionThis class provides the reduction method for the Constraints_Product domain
|oCCongruences_ReductionThis class provides the reduction method for the Congruences_Product domain
|oCShape_Preserving_ReductionThis class provides the reduction method for the Shape_Preserving_Product domain
|oCNo_ReductionThis class provides the reduction method for the Direct_Product domain
|oCPartially_Reduced_ProductThe partially reduced product of two abstractions
|oCDomain_ProductThis class is temporary and will be removed when template typedefs will be supported in C++
|oCPIP_ProblemA Parametric Integer (linear) Programming problem
|oCPIP_Tree_NodeA node of the PIP solution tree
||\CArtificial_ParameterArtificial parameters in PIP solution trees
|oCPIP_Solution_NodeA tree node representing part of the space of solutions
||oCNo_ConstraintsA tag type to select the alternative copy constructor
||\CTableauThe type for parametric simplex tableau
|oCPIP_Decision_NodeA tree node representing a decision in the space of solutions
|oCPointset_Ask_TellThe ask-and-tell construction instantiated on PPL polyhedra
|oCPointset_PowersetThe powerset construction instantiated on PPL pointset domains
|oCPoly_Con_RelationThe relation between a polyhedron and a constraint
|oCPoly_Gen_RelationThe relation between a polyhedron and a generator
|oCPolyhedronThe base class for convex polyhedra
||\CStatusA conjunctive assertion about a polyhedron
|oCPowersetThe powerset construction on a base-level domain
|oCRational_Interval_Info_Policy
|oCRow_FlagsWrapper class to represent a set of flags with bits in a native unsigned integral type
|oCScalar_ProductsA class implementing various scalar product functions
|oCTopology_Adjusted_Scalar_Product_SignScalar product sign function object depending on topology
|oCSlow_Copy
|oCSlow_Copy< mpz_class >
|oCSlow_Copy< mpq_class >
|oCSparse_MatrixA sparse matrix of Coefficient
|oCSparse_RowA finite sparse sequence of coefficients
|oCstdiobuf
|oCSum_Floating_Point_ExpressionA generic Sum Floating Point Expression
|oCTemp_ItemA pool of temporary items of type T
|oCTemp_Reference_HolderAn holder for a reference to a temporary object
|oCTemp_Value_HolderAn (fake) holder for the value of a temporary object
|oCDirty_Temp< T, typename Enable_If< Slow_Copy< T >::value >::type >Specialization for the handling of temporaries with a free list
|oCDirty_Temp< T, typename Enable_If<!Slow_Copy< T >::value >::type >Specialization for the handling of temporaries with local variables
|oCThreshold_WatcherA class of watchdogs controlling the exceeding of a threshold
||\CInitialize
|oCVariableA dimension of the vector space
||\CCompareBinary predicate defining the total ordering on variables
|oCVariable_Floating_Point_ExpressionA generic Variable Floating Point Expression
|oCVariables_SetAn std::set of variables' indexes
|oCWatchdog_Traits
|oCWatchdogA watchdog timer
|oCWeight_Profiler
|oCWidening_FunctionWraps a widening method into a function object
|oCLimited_Widening_FunctionWraps a limited widening method into a function object
|oCWRD_Extended_Number_PolicyThe production policy for checked numbers used in weakly-relational domains
|oCDebug_WRD_Extended_Number_PolicyThe debugging policy for checked numbers used in weakly-relational domains
|oCConcrete_ExpressionThe base class of all concrete expressions
|oCBinary_OperatorA binary operator applied to two concrete expressions
|oCUnary_OperatorA unary operator applied to one concrete expression
|oCCast_OperatorA cast operator converting one concrete expression to some type
|oCInteger_ConstantAn integer constant concrete expression
|oCFloating_Point_ConstantA floating-point constant concrete expression
|oCApproximable_ReferenceA concrete expression representing a reference to some approximable
|\CGMP_IntegerUnbounded integers as provided by the GMP library
\NstdThe standard C++ namespace
 oCnumeric_limits< Checked_Number< mpz_class, Policy > >Partial specialization of std::numeric_limits
 oCnumeric_limits< Checked_Number< mpq_class, Policy > >Partial specialization of std::numeric_limits
 oCnumeric_limits< mpz_class >Specialization of std::numeric_limits
 \Cnumeric_limits< mpq_class >Specialization of std::numeric_limits