APRONXX  0.9.12
Namespace List
Here is a list of all namespaces with brief descriptions:
[detail level 123]
 Napron
 Cabstract0Level 0 abstract value (ap_abstract0_t* wrapper)
 Cabstract1Level 1 abstract value (ap_abstract1_t wrapper)
 Cbox_managerManager factory for the Box interval-domain library
 CcoeffCoefficient (ap_coeff_t wrapper)
 CvarnameStream modifier to set variable names to dimensions
 CdimchangeDimension change object (ap_dimchange_t wrapper)
 CidThe identity permutation, to simplify initialisations and assignments
 CdimpermDimension permutation object (ap_dimperm_t wrapper)
 CenvironmentLevel 1 environment (ap_environment_t wrapper)
 Cgenerator0Level 0 generator (ap_generator0_t wrapper)
 Cgenerator0_arrayArray of generators (ap_generator0_array_t wrapper)
 Cgenerator1Level 1 generator (ap_generator1_t wrapper)
 Cgenerator1_arrayArray of generators (ap_generator1_array_t wrapper)
 CtopFull interval (]-oo,+oo[) or domain, to simplify initialisations and assignments
 CbottomEmpty interval or domain, to simplify initialisations and assignments
 CintervalInterval (ap_interval_t wrapper)
 Cinterval_arrayArray of interval(s)
 CunsatUnsatisfiable constraint, to simplify initialisations and assignments
 Clincons0Level 0 linear constraint (ap_lincons0_t wrapper)
 Clincons0_arrayArray of linear constraints (ap_lincons0_array_t wrapper)
 Clincons1Level 1 linear constraint (ap_lincons1_t wrapper)
 Clincons1_arrayArray of linear constraints (ap_lincons1_array_t wrapper)
 Clinexpr0Level 0 linear expression (ap_linexpr0_t wrapper)
 Cconst_iteratorIterator to traverse a constant linexpr0
 CiteratorIterator to traverse and mutate a linear expression
 Clinexpr1Level 1 linear expression (ap_linexpr1_t wrapper)
 Cconst_iteratorIterator to traverse a constant linexpr1
 CiteratorIterator to traverse and mutate a linear expression
 Ctbool3-valued boolean (tbool_t wrapper)
 CtimeoutException raised when a timeout occurs
 Cnot_implementedException raised when a function is not implemented
 CmanagerLibrary manager (ap_manager_t wrapper)
 Coct_managerManager factory for the Octagon domain library
 Cpolka_managerManager factory for the NewPolka polyhedra library
 Cppl_poly_managerManager factory for polyhedra domain using the PPL library
 Cppl_grid_managerManager factory for grid domain using the PPL library
 Cpkgrid_managerManager factory for reduced product domain of NewPolka polyhedra and PPL grids
 CinftyEither +oo or -oo, to simplify initialisations and assignments
 CfracA fraction with native int coefficients, to simplify initialisations and assignments
 Cbad_discriminantException raised when an operation is incompatible with a discriminant
 Cuse_mallocInherited by most wrappers to map new and delete to malloc and free
 CscalarScalar (ap_scalar_t wrapper)
 Ct1p_managerManager factory for the Taylor1plus zonotope library
 Ctcons0Level 0 arbitrary constraint (ap_tcons0_t wrapper)
 Ctcons0_arrayArray of arbitrary constraints (ap_tcons0_array_t wrapper)
 Ctcons1Level 1 arbitrary constraint (ap_tcons1_t wrapper)
 Ctcons1_arrayArray of arbitrary constraints (ap_tcons1_array_t wrapper)
 CdimRepresents a dimension (i.e., variable by index) in an expression tree
 Ctexpr0Level 0 arbitrary expression tree (ap_texpr0_t wrapper)
 CbuilderTemporary expression nodes used when constructing a texpr0
 Cconst_iteratorIterators to traverse a constant expression tree
 CiteratorIterators to traverse and mutate an expression tree
 Ctexpr1Level 1 arbitrary expression tree (ap_texpr1_t wrapper)
 CbuilderTemporary expression nodes used when constructing a texpr1
 Cconst_iteratorIterators to traverse a constant expression tree
 CiteratorIterators to traverse and mutate an expression tree
 CvarVariable name (ap_var_t wrapper)