|
APRONXX 0.9.12
|
Classes | |
| class | abstract0 |
| Level 0 abstract value (ap_abstract0_t* wrapper). More... | |
| class | abstract1 |
| Level 1 abstract value (ap_abstract1_t wrapper). More... | |
| class | bad_discriminant |
| Exception raised when an operation is incompatible with a discriminant. More... | |
| struct | bottom |
| Empty interval or domain, to simplify initialisations and assignments. More... | |
| class | box_manager |
| Manager factory for the Box interval-domain library. More... | |
| class | coeff |
| Coefficient (ap_coeff_t wrapper). More... | |
| class | dim |
| Represents a dimension (i.e., variable by index) in an expression tree. More... | |
| class | dimchange |
| Dimension change object (ap_dimchange_t wrapper). More... | |
| class | dimperm |
| Dimension permutation object (ap_dimperm_t wrapper). More... | |
| class | environment |
| Level 1 environment (ap_environment_t wrapper). More... | |
| struct | frac |
| A fraction with native int coefficients, to simplify initialisations and assignments. More... | |
| class | generator0 |
| Level 0 generator (ap_generator0_t wrapper). More... | |
| class | generator0_array |
| Array of generators (ap_generator0_array_t wrapper). More... | |
| class | generator1 |
| Level 1 generator (ap_generator1_t wrapper). More... | |
| class | generator1_array |
| Array of generators (ap_generator1_array_t wrapper). More... | |
| struct | id |
| The identity permutation, to simplify initialisations and assignments. More... | |
| struct | infty |
| Either +oo or -oo, to simplify initialisations and assignments. More... | |
| class | interval |
| Interval (ap_interval_t wrapper). More... | |
| class | interval_array |
| array of interval(s). More... | |
| class | lincons0 |
| Level 0 linear constraint (ap_lincons0_t wrapper). More... | |
| class | lincons0_array |
| Array of linear constraints (ap_lincons0_array_t wrapper). More... | |
| class | lincons1 |
| Level 1 linear constraint (ap_lincons1_t wrapper). More... | |
| class | lincons1_array |
| Array of linear constraints (ap_lincons1_array_t wrapper). More... | |
| class | linexpr0 |
| Level 0 linear expression (ap_linexpr0_t wrapper). More... | |
| class | linexpr1 |
| Level 1 linear expression (ap_linexpr1_t wrapper). More... | |
| class | manager |
| Library manager (ap_manager_t wrapper). More... | |
| class | not_implemented |
| Exception raised when a function is not implemented. More... | |
| class | oct_manager |
| Manager factory for the Octagon domain library. More... | |
| class | pkgrid_manager |
| Manager factory for reduced product domain of NewPolka polyhedra and PPL grids. More... | |
| class | polka_manager |
| Manager factory for the NewPolka polyhedra library. More... | |
| class | ppl_grid_manager |
| Manager factory for grid domain using the PPL library. More... | |
| class | ppl_poly_manager |
| Manager factory for polyhedra domain using the PPL library. More... | |
| class | scalar |
| Scalar (ap_scalar_t wrapper). More... | |
| class | t1p_manager |
| Manager factory for the Taylor1plus zonotope library. More... | |
| struct | tbool |
| 3-valued boolean (tbool_t wrapper). More... | |
| class | tcons0 |
| Level 0 arbitrary constraint (ap_tcons0_t wrapper). More... | |
| class | tcons0_array |
| Array of arbitrary constraints (ap_tcons0_array_t wrapper). More... | |
| class | tcons1 |
| Level 1 arbitrary constraint (ap_tcons1_t wrapper). More... | |
| class | tcons1_array |
| Array of arbitrary constraints (ap_tcons1_array_t wrapper). More... | |
| class | texpr0 |
| Level 0 arbitrary expression tree (ap_texpr0_t wrapper). More... | |
| class | texpr1 |
| Level 1 arbitrary expression tree (ap_texpr1_t wrapper). More... | |
| class | timeout |
| Exception raised when a timeout occurs. More... | |
| struct | top |
| Full interval (]-oo,+oo[) or domain, to simplify initialisations and assignments. More... | |
| struct | unsat |
| Unsatisfiable constraint, to simplify initialisations and assignments. More... | |
| struct | use_malloc |
| Inherited by most wrappers to map new and delete to malloc and free. More... | |
| class | var |
| Variable name (ap_var_t wrapper). More... | |
| class | varname |
| Stream modifier to set variable names to dimensions. More... | |
Functions | |
| bool | is_unop (ap_texpr_op_t op) |
| Whether the operator is unary. | |
| bool | is_binop (ap_texpr_op_t op) |
| Whether the operator is binary. | |
| bool apron::is_binop | ( | ap_texpr_op_t | op | ) |
Whether the operator is binary.
| bool apron::is_unop | ( | ap_texpr_op_t | op | ) |
Whether the operator is unary.
1.9.6