Manager |
APRON Managers
|
Box |
BOX: intervals abstract domain
|
Oct |
OCT: octagon abstract domain.
|
Polka |
POLKA: Convex Polyhedra and Linear Equalities abstract domain
|
PPL |
PPL: Convex Polyhedra and Linear Congruences abstract domain
|
PolkaGrid |
PolkaGrid: reduced product of (NewPolka) Convex Polyhedra and (PPL) Linear Congruences abstract domain
|
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
|
Mpf |
GMP multiprecision floating-point numbers
|
Mpfr |
Multiprecision floating-point numbers with guaranteed rounding
|
Gmp_random |
GMP random generation functions
|
Mpzf |
GMP multi-precision integers, functional version
|
Mpqf |
GMP multi-precision rationals, functional version
|