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