Introduction (version 0.9.10)
| Scalar |
APRON Scalar numbers.
|
| Interval |
APRON Intervals on scalars
|
| Coeff |
APRON Coefficients (either scalars or intervals)
|
| Manager |
APRON Managers
|
| Box |
Intervals abstract domain
|
| Oct |
Octagon abstract domain.
|
| Polka |
Convex Polyhedra and Linear Equalities abstract domains
|
| Ppl |
Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper)
|
| PolkaGrid |
Reduced product of NewPolka polyhedra and PPL grids
|
| Var |
APRON Variables
|
| Environment |
APRON Environments binding dimensions to names
|
| Linexpr1 |
APRON Expressions of level 1
|
| Lincons1 |
APRON Constraints and array of constraints of level 1
|
| Generator1 |
APRON Generators and array of generators of level 1
|
| Texpr1 |
APRON Expressions of level 1
|
| Tcons1 |
APRON tree constraints and array of tree constraints of level 1
|
| Abstract1 |
APRON Abstract values of level 1
|
| Parser |
APRON Parsing of expressions
|
| Dim |
APRON Dimensions and related types
|
| Linexpr0 |
APRON Linear expressions of level 0
|
| Lincons0 |
APRON Linear constraints of level 0
|
| Generator0 |
APRON Generators of level 0
|
| Texpr0 | |
| Tcons0 |
APRON tree expressions constraints of level 0
|
| Abstract0 |
APRON Abstract value of level 0
|
| Mpz |
GMP multi-precision integers
|
| Mpq |
GMP multiprecision rationals
|
| Mpf |
GMP multiprecision floating-point numbers
|
| Mpfr |
MPFR multiprecision floating-point numbers
|
| Gmp_random |
GMP random generation functions
|
| Mpzf |
GMP multi-precision integers, functional version
|
| Mpqf |
GMP multi-precision rationals, functional version
|
| Mpfrf |
MPFR multi-precision floating-point version, functional version
|