A | |
Abstract0 |
APRON Abstract value of level 0
|
Abstract1 |
APRON Abstract values of level 1
|
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
|
Itv |
ITV: intervals abstract domain
|
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
|
Mpq |
GMP multiprecision rationals
|
Mpqf |
GMP multi-precision rationals, functional version
|
Mpz |
GMP multi-precision integers
|
Mpzf |
GMP multi-precision integers, functional version
|
O | |
Oct |
OCT: octagon abstract domain.
|
P | |
Parser |
APRON Parsing of expressions
|
Polka |
POLKA: Convex Polyhedra abstract domain
|
S | |
Scalar |
APRON Scalar numbers.
|
V | |
Var |
APRON Variables
|