Manager |
APRON Managers
|
Itv |
ITV: intervals abstract domain
|
Oct |
Oct: octagon abstract domain.
|
Polka |
POLKA: Convex Polyhedra abstract domain
|
Mpzf |
GMP multi-precision integers, functional version
|
Mpqf |
GMP multi-precision rationals, functional version
|
Scalar |
APRON Scalar numbers.
|
Interval |
APRON Intervals on scalars
|
Coeff |
APRON Coefficients (either scalars or intervals)
|
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
|
Abstract1 |
APRON Abstract values of level 1
|
Parser |
APRON Parser for expressions, constraints and generators
|
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
|
Abstract0 |
APRON Abstract value of level 0
|
Mpz |
GMP multi-precision integers
|
Mpq |
GMP multiprecision rationals
|
Gmp_random |
GMP random generation functions
|