APRONXX 0.9.14
|
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.