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