APRONXX  0.9.7
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123]
 Capron::bottomEmpty interval or domain, to simplify initialisations and assignments
 Capron::linexpr0::const_iteratorIterator to traverse a constant linexpr0
 Capron::linexpr0::iteratorIterator to traverse and mutate a linear expression
 Capron::linexpr1::const_iteratorIterator to traverse a constant linexpr1
 Capron::linexpr1::iteratorIterator to traverse and mutate a linear expression
 Capron::texpr0::const_iteratorIterators to traverse a constant expression tree
 Capron::texpr0::iteratorIterators to traverse and mutate an expression tree
 Capron::texpr1::const_iteratorIterators to traverse a constant expression tree
 Capron::texpr1::iteratorIterators to traverse and mutate an expression tree
 Capron::dimRepresents a dimension (i.e., variable by index) in an expression tree
 Cstd::exceptionSTL class
 Cstd::logic_errorSTL class
 Capron::bad_discriminantException raised when an operation is incompatible with a discriminant
 Capron::not_implementedException raised when a function is not implemented
 Capron::timeoutException raised when a timeout occurs
 Capron::fracA fraction with native int coefficients, to simplify initialisations and assignments
 Capron::idThe identity permutation, to simplify initialisations and assignments
 Capron::inftyEither +oo or -oo, to simplify initialisations and assignments
 Capron::tbool3-valued boolean (tbool_t wrapper)
 Capron::topFull interval (]-oo,+oo[) or domain, to simplify initialisations and assignments
 Capron::unsatUnsatisfiable constraint, to simplify initialisations and assignments
 Capron::use_mallocInherited by most wrappers to map new and delete to malloc and free
 Capron::abstract0Level 0 abstract value (ap_abstract0_t* wrapper)
 Capron::abstract1Level 1 abstract value (ap_abstract1_t wrapper)
 Capron::coeffCoefficient (ap_coeff_t wrapper)
 Capron::dimchangeDimension change object (ap_dimchange_t wrapper)
 Capron::dimpermDimension permutation object (ap_dimperm_t wrapper)
 Capron::environmentLevel 1 environment (ap_environment_t wrapper)
 Capron::generator0Level 0 generator (ap_generator0_t wrapper)
 Capron::generator0_arrayArray of generators (ap_generator0_array_t wrapper)
 Capron::generator1Level 1 generator (ap_generator1_t wrapper)
 Capron::generator1_arrayArray of generators (ap_generator1_array_t wrapper)
 Capron::intervalInterval (ap_interval_t wrapper)
 Capron::interval_arrayArray of interval(s)
 Capron::lincons0Level 0 linear constraint (ap_lincons0_t wrapper)
 Capron::lincons0_arrayArray of linear constraints (ap_lincons0_array_t wrapper)
 Capron::lincons1Level 1 linear constraint (ap_lincons1_t wrapper)
 Capron::lincons1_arrayArray of linear constraints (ap_lincons1_array_t wrapper)
 Capron::linexpr0Level 0 linear expression (ap_linexpr0_t wrapper)
 Capron::linexpr1Level 1 linear expression (ap_linexpr1_t wrapper)
 Capron::managerLibrary manager (ap_manager_t wrapper)
 Capron::box_managerManager factory for the Box interval-domain library
 Capron::oct_managerManager factory for the Octagon domain library
 Capron::pkgrid_managerManager factory for reduced product domain of NewPolka polyhedra and PPL grids
 Capron::polka_managerManager factory for the NewPolka polyhedra library
 Capron::ppl_grid_managerManager factory for grid domain using the PPL library
 Capron::ppl_poly_managerManager factory for polyhedra domain using the PPL library
 Capron::t1p_managerManager factory for the Taylor1plus zonotope library
 Capron::scalarScalar (ap_scalar_t wrapper)
 Capron::tcons0Level 0 arbitrary constraint (ap_tcons0_t wrapper)
 Capron::tcons0_arrayArray of arbitrary constraints (ap_tcons0_array_t wrapper)
 Capron::tcons1Level 1 arbitrary constraint (ap_tcons1_t wrapper)
 Capron::tcons1_arrayArray of arbitrary constraints (ap_tcons1_array_t wrapper)
 Capron::texpr0Level 0 arbitrary expression tree (ap_texpr0_t wrapper)
 Capron::texpr0::builderTemporary expression nodes used when constructing a texpr0
 Capron::texpr1Level 1 arbitrary expression tree (ap_texpr1_t wrapper)
 Capron::texpr1::builderTemporary expression nodes used when constructing a texpr1
 Capron::varVariable name (ap_var_t wrapper)
 Capron::varnameStream modifier to set variable names to dimensions