▼Napron | |
Cabstract0 | Level 0 abstract value (ap_abstract0_t* wrapper) |
Cabstract1 | Level 1 abstract value (ap_abstract1_t wrapper) |
Cbad_discriminant | Exception raised when an operation is incompatible with a discriminant |
Cbottom | Empty interval or domain, to simplify initialisations and assignments |
Cbox_manager | Manager factory for the Box interval-domain library |
Ccoeff | Coefficient (ap_coeff_t wrapper) |
Cdim | Represents a dimension (i.e., variable by index) in an expression tree |
Cdimchange | Dimension change object (ap_dimchange_t wrapper) |
Cdimperm | Dimension permutation object (ap_dimperm_t wrapper) |
Cenvironment | Level 1 environment (ap_environment_t wrapper) |
Cfrac | A fraction with native int coefficients, to simplify initialisations and assignments |
Cgenerator0 | Level 0 generator (ap_generator0_t wrapper) |
Cgenerator0_array | Array of generators (ap_generator0_array_t wrapper) |
Cgenerator1 | Level 1 generator (ap_generator1_t wrapper) |
Cgenerator1_array | Array of generators (ap_generator1_array_t wrapper) |
Cid | The identity permutation, to simplify initialisations and assignments |
Cinfty | Either +oo or -oo, to simplify initialisations and assignments |
Cinterval | Interval (ap_interval_t wrapper) |
Cinterval_array | Array of interval(s) |
Clincons0 | Level 0 linear constraint (ap_lincons0_t wrapper) |
Clincons0_array | Array of linear constraints (ap_lincons0_array_t wrapper) |
Clincons1 | Level 1 linear constraint (ap_lincons1_t wrapper) |
Clincons1_array | Array of linear constraints (ap_lincons1_array_t wrapper) |
▼Clinexpr0 | Level 0 linear expression (ap_linexpr0_t wrapper) |
Cconst_iterator | Iterator to traverse a constant linexpr0 |
Citerator | Iterator to traverse and mutate a linear expression |
▼Clinexpr1 | Level 1 linear expression (ap_linexpr1_t wrapper) |
Cconst_iterator | Iterator to traverse a constant linexpr1 |
Citerator | Iterator to traverse and mutate a linear expression |
Cmanager | Library manager (ap_manager_t wrapper) |
Cnot_implemented | Exception raised when a function is not implemented |
Coct_manager | Manager factory for the Octagon domain library |
Cpkgrid_manager | Manager factory for reduced product domain of NewPolka polyhedra and PPL grids |
Cpolka_manager | Manager factory for the NewPolka polyhedra library |
Cppl_grid_manager | Manager factory for grid domain using the PPL library |
Cppl_poly_manager | Manager factory for polyhedra domain using the PPL library |
Cscalar | Scalar (ap_scalar_t wrapper) |
Ct1p_manager | Manager factory for the Taylor1plus zonotope library |
Ctbool | 3-valued boolean (tbool_t wrapper) |
Ctcons0 | Level 0 arbitrary constraint (ap_tcons0_t wrapper) |
Ctcons0_array | Array of arbitrary constraints (ap_tcons0_array_t wrapper) |
Ctcons1 | Level 1 arbitrary constraint (ap_tcons1_t wrapper) |
Ctcons1_array | Array of arbitrary constraints (ap_tcons1_array_t wrapper) |
▼Ctexpr0 | Level 0 arbitrary expression tree (ap_texpr0_t wrapper) |
Cbuilder | Temporary expression nodes used when constructing a texpr0 |
Cconst_iterator | Iterators to traverse a constant expression tree |
Citerator | Iterators to traverse and mutate an expression tree |
▼Ctexpr1 | Level 1 arbitrary expression tree (ap_texpr1_t wrapper) |
Cbuilder | Temporary expression nodes used when constructing a texpr1 |
Cconst_iterator | Iterators to traverse a constant expression tree |
Citerator | Iterators to traverse and mutate an expression tree |
Ctimeout | Exception raised when a timeout occurs |
Ctop | Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments |
Cunsat | Unsatisfiable constraint, to simplify initialisations and assignments |
Cuse_malloc | Inherited by most wrappers to map new and delete to malloc and free |
Cvar | Variable name (ap_var_t wrapper) |
Cvarname | Stream modifier to set variable names to dimensions |