| ►NParma_Polyhedra_Library | The entire library is confined to this namespace |
| ►NBoundary_NS | |
| CProperty | |
| ►NChecked | Types and functions implementing checked numbers |
| CExtended_Int | |
| CFloat_2exp | |
| CLarger | |
| CLarger< char > | |
| CLarger< signed char > | |
| CLarger< signed int > | |
| CLarger< signed long > | |
| CLarger< signed long long > | |
| CLarger< signed short > | |
| CLarger< unsigned char > | |
| CLarger< unsigned int > | |
| CLarger< unsigned long > | |
| CLarger< unsigned long long > | |
| CLarger< unsigned short > | |
| Cnumber_struct | |
| CSafe_Conversion | |
| CSafe_Conversion< T, T > | |
| CSafe_Int_Comparison | |
| CSafe_Int_Comparison< T1, T2, typename Enable_If<(C_Integer< T1 >::value &&C_Integer< T2 >::value)>::type > | |
| ►NImplementation | Implementation related data and functions |
| ►NWatchdog | |
| CHandler | Abstract base class for handlers of the watchdog events |
| CHandler_Flag | A kind of Handler that installs a flag onto a flag-holder |
| CHandler_Function | A kind of Handler calling a given function |
| CPending_Element | A class for pending watchdog events with embedded links |
| CPending_List | An ordered list for recording pending watchdog events |
| CTime | A class for representing and manipulating positive time intervals |
| CDoubly_Linked_Object | A (base) class for doubly linked objects |
| CEList | A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves) |
| CEList_Iterator | A class providing iterators for embedded lists |
| CIndirect_Sort_Compare | |
| CIndirect_Swapper | |
| CIndirect_Swapper2 | |
| CIndirect_Unique_Compare | |
| CPtr_Iterator | A class to define STL const and non-const iterators from pointer types |
| CWrap_Dim_Translations | |
| ►NInterfaces | Data and functions related to language interfaces |
| ►NProlog | Data and functions related to the Prolog language interfaces |
| ►NInterval_NS | |
| CProperty | |
| CScalar_As_Interval_Policy | |
| CAffine_Space | An affine space |
| CAny_Pointset | Any PPL pointset |
| CApproximable_Reference | A concrete expression representing a reference to some approximable |
| CApproximable_Reference_Common | Base class for references to some approximable |
| CAsk_Tell | The ask and tell construction on a base-level domain |
| CAsk_Tell_Pair | A pair of ask and tell descriptions |
| ►CBD_Shape | A bounded difference shape |
| CStatus | A conjunctive assertion about a BD_Shape<T> object |
| CBD_Shape_Helpers | |
| ►CBHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator |
| CCompare | A total ordering on BHRZ03 certificates |
| CBinary_Operator | A binary operator applied to two concrete expressions |
| CBinary_Operator_Common | Base class for binary operator applied to two concrete expressions |
| ►CBit_Matrix | A matrix of bits |
| CBit_Row_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
| CBit_Row | A row in a matrix of bits |
| CBool | A class holding a constant called value that evaluates to b |
| ►CBox | A not necessarily closed, iso-oriented hyperrectangle |
| CStatus | |
| CBox_Helpers | |
| CC_Integer | |
| CC_Integer< char > | |
| CC_Integer< signed char > | |
| CC_Integer< signed int > | |
| CC_Integer< signed long > | |
| CC_Integer< signed long long > | |
| CC_Integer< signed short > | |
| CC_Integer< unsigned char > | |
| CC_Integer< unsigned int > | |
| CC_Integer< unsigned long > | |
| CC_Integer< unsigned long long > | |
| CC_Integer< unsigned short > | |
| CC_Polyhedron | A closed convex polyhedron |
| Cc_streambuf | |
| CCast_Floating_Point_Expression | A generic Cast Floating Point Expression |
| CCast_Operator | A cast operator converting one concrete expression to some type |
| CCast_Operator_Common | Base class for cast operator concrete expressions |
| CCheck_Overflow_Policy | A policy checking for overflows |
| CChecked_Number | A wrapper for numeric types implementing a given policy |
| CChecked_Number_Transparent_Policy | |
| ►CCO_Tree | A cache-oblivious binary search tree of pairs |
| Cconst_iterator | A const iterator on the tree elements, ordered by key |
| Citerator | An iterator on the tree elements, ordered by key |
| Ctree_iterator | |
| CCoefficient_traits_template | Coefficient traits |
| CCoefficient_traits_template< GMP_Integer > | Coefficient traits specialization for unbounded integers |
| CCompile_Time_Check | A class that is only defined if b evaluates to true |
| CCompile_Time_Check< true > | A class that is only defined if b evaluates to true |
| CConcrete_Expression | The base class of all concrete expressions |
| CConcrete_Expression_Common | Base class for all concrete expressions |
| ►CConcrete_Expression_Type | The type of a concrete expression |
| CImplementation | A 32-bit word encoding the type |
| CCongruence | A linear congruence |
| ►CCongruence_System | A system of congruences |
| Cconst_iterator | An iterator over a system of congruences |
| CCongruences_Reduction | This class provides the reduction method for the Congruences_Product domain |
| Cconst_iterator_to_const | A const_iterator on a sequence of read-only objects |
| CConstant | |
| CConstant_ | |
| CConstant_Floating_Point_Expression | A generic Constant Floating Point Expression |
| CConstraint | A linear equality or inequality |
| CConstraint_System | A system of constraints |
| CConstraint_System_const_iterator | An iterator over a system of constraints |
| CConstraints_Reduction | This class provides the reduction method for the Constraints_Product domain |
| ►CDB_Matrix | The base class for the square matrices |
| Cconst_iterator | A read-only iterator over the rows of the matrix |
| CDB_Row | The base class for the single rows of matrices |
| ►CDB_Row_Impl_Handler | The handler of the actual DB_Row implementation |
| CImpl | The real implementation of a DB_Row object |
| CDebug_WRD_Extended_Number_Policy | |
| ►CDense_Row | A finite sequence of coefficients |
| Cconst_iterator | |
| CImpl | |
| Citerator | |
| ►CDeterminate | A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98] |
| CBinary_Operator_Assign_Lifter | A function adapter for the Determinate class |
| CRep | The possibly shared representation of a Determinate object |
| CDifference_Floating_Point_Expression | A generic Difference Floating Point Expression |
| CDirty_Temp | A structure for the efficient handling of temporaries |
| CDirty_Temp< T, typename Enable_If< Slow_Copy< T >::value >::type > | Specialization for the handling of temporaries with a free list |
| CDirty_Temp< T, typename Enable_If<!Slow_Copy< T >::value >::type > | Specialization for the handling of temporaries with local variables |
| CDivision_Floating_Point_Expression | A generic Division Floating Point Expression |
| CDomain_Product | This class is temporary and will be removed when template typedefs will be supported in C++ |
| CEnable_If | A class that provides a type member called type equivalent to T if and only if b is true |
| CEnable_If< true, T > | A class that provides a type member called type equivalent to T if and only if b is true |
| CEnable_If_Is | |
| CEuclidean_Distance_Specialization | |
| CExpression_Adapter | An adapter for Linear_Expression objects |
| CExpression_Adapter_Base | Adapters' base type (for template meta-programming) |
| CExpression_Adapter_Transparent | A transparent adapter for Linear_Expression objects |
| CExpression_Hide_Inhomo | An adapter for Linear_Expression that hides the inhomogeneous term |
| CExpression_Hide_Last | An adapter for Linear_Expression that maybe hides the last coefficient |
| CExtended_Number_Policy | |
| CFalse | A class holding a constant called value that evaluates to false |
| CFit | |
| CFit< T, v, typename Enable_If< C_Integer< T >::value >::type > | |
| CFloat | |
| Cfloat_ibm_double | |
| Cfloat_ibm_single | |
| Cfloat_ieee754_double | |
| Cfloat_ieee754_half | |
| Cfloat_ieee754_quad | |
| Cfloat_ieee754_single | |
| Cfloat_intel_double_extended | |
| CFloating_Point_Constant | A floating-point constant concrete expression |
| CFloating_Point_Constant_Common | Base class for floating-point constant concrete expression |
| CFloating_Point_Expression | |
| CFP_Oracle | 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 |
| CFPU_Related | |
| CFPU_Related< Checked_Number< T, Policy > > | |
| CFPU_Related< double > | |
| CFPU_Related< float > | |
| CFPU_Related< long double > | |
| CGenerator | A line, ray, point or closure point |
| CGenerator_System | A system of generators |
| CGenerator_System_const_iterator | An iterator over a system of generators |
| CGMP_Integer | Unbounded integers as provided by the GMP library |
| ►CGrid | A grid |
| CStatus | A conjunctive assertion about a grid |
| ►CGrid_Certificate | The convergence certificate for the Grid widening operator |
| CCompare | A total ordering on Grid certificates |
| CGrid_Generator | A grid line, parameter or grid point |
| ►CGrid_Generator_System | A system of grid generators |
| Cconst_iterator | An iterator over a system of grid generators |
| ►CH79_Certificate | A convergence certificate for the H79 widening operator |
| CCompare | A total ordering on H79 certificates |
| CHas_Assign_Or_Swap | |
| CHas_Assign_Or_Swap< T, typename Enable_If_Is< void(T::*)(T &x), &T::assign_or_swap >::type > | |
| CHas_OK | |
| CHas_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type > | |
| CI_Constraint | |
| CI_Constraint_Base | |
| CI_Constraint_Common | |
| CI_Constraint_Rel | |
| Cia32_fenv_t | |
| CIn_Assert | |
| CInit | Class for initialization and finalization |
| CInteger_Constant | An integer constant concrete expression |
| CInteger_Constant_Common | Base class for integer constant concrete expressions |
| CInteger_Interval_Info_Policy | |
| CInterval | A generic, not necessarily closed, possibly restricted interval |
| CInterval_Base | |
| CInterval_Info_Bitset | |
| CInterval_Info_Null | |
| CInterval_Info_Null_Open | |
| CIs_Checked | |
| CIs_Checked< Checked_Number< T, P > > | |
| CIs_Interval | |
| CIs_Native | |
| CIs_Native< char > | |
| CIs_Native< mpq_class > | |
| CIs_Native< mpz_class > | |
| CIs_Native< signed char > | |
| CIs_Native< signed int > | |
| CIs_Native< signed long > | |
| CIs_Native< signed long long > | |
| CIs_Native< signed short > | |
| CIs_Native< unsigned char > | |
| CIs_Native< unsigned int > | |
| CIs_Native< unsigned long > | |
| CIs_Native< unsigned long long > | |
| CIs_Native< unsigned short > | |
| CIs_Native_Or_Checked | |
| CIs_Same | A class holding a constant called value that evaluates to true if and only if T1 is the same type as T2 |
| CIs_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 |
| ►CIs_Same_Or_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 |
| CAny | A class that is constructible from just anything |
| CIs_Singleton | |
| CIs_Special | |
| CIs_Special< Minus_Infinity > | |
| CIs_Special< Not_A_Number > | |
| CIs_Special< Plus_Infinity > | |
| Citerator_to_const | An iterator on a sequence of read-only objects |
| CL_Infinity_Distance_Specialization | |
| CLimited_Widening_Function | Wraps a limited widening method into a function object |
| ►CLinear_Expression | A linear expression |
| Cconst_iterator | |
| ►CLinear_Expression_Impl | A linear expression |
| Cconst_iterator | |
| ►CLinear_Expression_Interface | A linear expression |
| Cconst_iterator_interface | |
| CLinear_Form | A linear form with interval coefficients |
| ►CLinear_System | The base class for systems of constraints and generators |
| CRow_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
| CUnique_Compare | Comparison predicate (used when implementing the unique algorithm) |
| CWith_Pending | A tag class |
| CLinear_System_With_Bit_Matrix_iterator | |
| CMatrix | A sparse matrix of Coefficient |
| Cmaybe_assign_struct | |
| Cmaybe_assign_struct< Type, Type > | |
| CMinus_Infinity | |
| ►CMIP_Problem | A Mixed Integer (linear) Programming problem |
| Cconst_iterator | A read-only iterator on the constraints defining the feasible region |
| CInherit_Constraints | A tag type to distinguish normal vs. inheriting copy constructor |
| CRAII_Temporary_Real_Relaxation | A helper class to temporarily relax a MIP problem using RAII |
| CMultiplication_Floating_Point_Expression | A generic Multiplication Floating Point Expression |
| CNative_Checked_From_Wrapper | |
| CNative_Checked_From_Wrapper< Checked_Number< T, P > > | |
| CNative_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > | |
| CNative_Checked_To_Wrapper | |
| CNative_Checked_To_Wrapper< Checked_Number< T, P > > | |
| CNative_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type > | |
| CNNC_Polyhedron | A not necessarily closed convex polyhedron |
| CNo_Reduction | This class provides the reduction method for the Direct_Product domain |
| CNot_A_Number | |
| CNumeric_Format | |
| ►COctagonal_Shape | An octagonal shape |
| CStatus | A conjunctive assertion about a Octagonal_Shape<T> object |
| COctagonal_Shape_Helper | |
| COpposite_Floating_Point_Expression | A generic Opposite Floating Point Expression |
| ►COR_Matrix | A matrix representing octagonal constraints |
| Cany_row_iterator | A template class to derive both OR_Matrix::iterator and OR_Matrix::const_iterator |
| CPseudo_Row | An object that behaves like a matrix's row with respect to the subscript operators |
| CPartial_Function | |
| CPartially_Reduced_Product | The partially reduced product of two abstractions |
| CPIP_Decision_Node | A tree node representing a decision in the space of solutions |
| CPIP_Problem | A Parametric Integer (linear) Programming problem |
| ►CPIP_Solution_Node | A tree node representing part of the space of solutions |
| CNo_Constraints | A tag type to select the alternative copy constructor |
| CTableau | The type for parametric simplex tableau |
| ►CPIP_Tree_Node | A node of the PIP solution tree |
| CArtificial_Parameter | Artificial parameters in PIP solution trees |
| CPlus_Infinity | |
| CPointset_Ask_Tell | The ask-and-tell construction instantiated on PPL polyhedra |
| CPointset_Powerset | The powerset construction instantiated on PPL pointset domains |
| CPoly_Con_Relation | The relation between a polyhedron and a constraint |
| CPoly_Gen_Relation | The relation between a polyhedron and a generator |
| ►CPolyhedron | The base class for convex polyhedra |
| CStatus | A conjunctive assertion about a polyhedron |
| CPowerset | The powerset construction on a base-level domain |
| CRational_Interval_Info_Policy | |
| CRectilinear_Distance_Specialization | |
| CRecycle_Input | A tag class |
| CScalar_Products | A class implementing various scalar product functions |
| CSelect_Temp_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 |
| CSelect_Temp_Boundary_Type< char > | |
| CSelect_Temp_Boundary_Type< signed char > | |
| CSelect_Temp_Boundary_Type< signed int > | |
| CSelect_Temp_Boundary_Type< signed long > | |
| CSelect_Temp_Boundary_Type< signed short > | |
| CSelect_Temp_Boundary_Type< unsigned char > | |
| CSelect_Temp_Boundary_Type< unsigned int > | |
| CSelect_Temp_Boundary_Type< unsigned long > | |
| CSelect_Temp_Boundary_Type< unsigned long long > | |
| CSelect_Temp_Boundary_Type< unsigned short > | |
| CShape_Preserving_Reduction | This class provides the reduction method for the Shape_Preserving_Product domain |
| CSlow_Copy | |
| CSlow_Copy< Checked_Number< T, P > > | |
| CSlow_Copy< mpq_class > | |
| CSlow_Copy< mpz_class > | |
| CSmash_Reduction | This class provides the reduction method for the Smash_Product domain |
| CSparse_Row | A finite sparse sequence of coefficients |
| Cstdiobuf | |
| CSum_Floating_Point_Expression | A generic Sum Floating Point Expression |
| CSuppress_Uninitialized_Warnings_Type | |
| CSwapping_Vector | |
| CTConstant | |
| ►CTemp_Item | A pool of temporary items of type T |
| CFree_List | |
| CTemp_Reference_Holder | An holder for a reference to a temporary object |
| CTemp_Value_Holder | An (fake) holder for the value of a temporary object |
| CTermination_Helpers | |
| ►CThreshold_Watcher | A class of watchdogs controlling the exceeding of a threshold |
| CInitialize | |
| CThrowable | User objects the PPL can throw |
| CTopology_Adjusted_Scalar_Product_Sign | Scalar product sign function object depending on topology |
| CTrue | A class holding a constant called value that evaluates to true |
| CUnary_Operator | A unary operator applied to one concrete expression |
| CUnary_Operator_Common | Base class for unary operator applied to one concrete expression |
| CUse_By_Ref | |
| CUse_By_Ref< By_Ref, T > | |
| CUse_By_Ref< By_Value, T > | |
| CUse_By_Ref< Use_Slow_Copy, T > | |
| CVal_Or_Ref | |
| CVal_Or_Ref< T, Criteria, typename Enable_If< Use_By_Ref< Criteria, T >::value >::type > | |
| CVal_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type > | |
| ►CVariable | A dimension of the vector space |
| CCompare | Binary predicate defining the total ordering on variables |
| CVariable_Floating_Point_Expression | A generic Variable Floating Point Expression |
| CVariables_Set | An std::set of variables' indexes |
| CWatchdog | A watchdog timer |
| CWatchdog_Traits | |
| CWeight_Profiler | |
| CWeightwatch_Traits | Traits class for the deterministic timeout mechanism |
| CWidening_Function | Wraps a widening method into a function object |
| CWRD_Extended_Number_Policy | |
| ►Nstd | The standard C++ namespace |
| Cnumeric_limits< Checked_Number< mpq_class, Policy > > | Partial specialization of std::numeric_limits |
| Cnumeric_limits< Checked_Number< mpz_class, Policy > > | Partial specialization of std::numeric_limits |
| Cnumeric_limits< mpq_class > | Specialization of std::numeric_limits |
| Cnumeric_limits< mpz_class > | Specialization of std::numeric_limits |
1.8.9.1