PPL  1.0
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
oNParma_Polyhedra_LibraryThe entire library is confined to this namespace
|oNIO_OperatorsAll input/output operators are confined to this namespace
|oNChecked
|oNImplementation
|oNInterfaces
|oNBoundary_NS
|oNInterval_NS
|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
|oCVariableA dimension of the vector space
||\CCompareBinary predicate defining the total ordering on variables
|oCThrowableUser objects the PPL can throw
|oCRecycle_InputA tag class
|oCLinear_FormA linear form with interval coefficients
|oCChecked_NumberA wrapper for numeric types implementing a given policy
|oCIntervalA generic, not necessarily closed, possibly restricted interval
|oCVariables_SetAn std::set of variables' indexes
|oCLinear_ExpressionA linear expression
||\Cconst_iterator
|oCConstraintA linear equality or inequality
|oCGeneratorA line, ray, point or closure point
|oCGrid_GeneratorA grid line, parameter or grid point
|oCCongruenceA linear congruence
|oCBoxA not necessarily closed, iso-oriented hyperrectangle
|oCConstraint_SystemA system of constraints
|oCConstraint_System_const_iteratorAn iterator over a system of constraints
|oCCongruence_SystemA system of congruences
||\Cconst_iteratorAn iterator over a system of congruences
|oCPoly_Con_RelationThe relation between a polyhedron and a constraint
|oCGenerator_SystemA system of generators
|oCGenerator_System_const_iteratorAn iterator over a system of generators
|oCPoly_Gen_RelationThe relation between a polyhedron and a generator
|oCPolyhedronThe base class for convex polyhedra
|oCMIP_ProblemA Mixed Integer (linear) Programming problem
||\Cconst_iteratorA read-only iterator on the constraints defining the feasible region
|oCFloating_Point_ExpressionA floating point expression on a given format
|oCGrid_Generator_SystemA system of grid generators
||\Cconst_iteratorAn iterator over a system of grid generators
|oCGridA grid
|oCBD_ShapeA bounded difference shape
|oCC_PolyhedronA closed convex polyhedron
|oCOctagonal_ShapeAn octagonal shape
|oCConcrete_Expression_TypeThe type of a concrete expression
|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
|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
||\CNo_ConstraintsA tag type to select the alternative copy constructor
|oCPIP_Decision_NodeA tree node representing a decision in the space of solutions
|oCBHRZ03_CertificateThe convergence certificate for the BHRZ03 widening operator
||\CCompareA total ordering on BHRZ03 certificates
|oCH79_CertificateA convergence certificate for the H79 widening operator
||\CCompareA total ordering on H79 certificates
|oCGrid_CertificateThe convergence certificate for the Grid widening operator
||\CCompareA total ordering on Grid certificates
|oCNNC_PolyhedronA not necessarily closed convex polyhedron
|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++
|oCDeterminateA wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
|oCPowersetThe powerset construction on a base-level domain
|oCPointset_PowersetThe powerset construction instantiated on PPL pointset domains
|oCCast_Floating_Point_ExpressionA generic Cast Floating Point Expression
|oCConstant_Floating_Point_ExpressionA generic Constant Floating Point Expression
|oCVariable_Floating_Point_ExpressionA generic Variable Floating Point Expression
|oCSum_Floating_Point_ExpressionA generic Sum Floating Point Expression
|oCDifference_Floating_Point_ExpressionA generic Difference Floating Point Expression
|oCMultiplication_Floating_Point_ExpressionA generic Multiplication Floating Point Expression
|oCDivision_Floating_Point_ExpressionA generic Division Floating Point Expression
|oCOpposite_Floating_Point_ExpressionA generic Opposite Floating Point Expression
|oCWatchdogA watchdog timer
|oCThreshold_WatcherA class of watchdogs controlling the exceeding of a threshold
|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