Index of types
Index of exceptions
Index of values
Index of modules


Managers

Managers are allocated by abstract domains and defines the effective type of abstract values. Information about compilation and linking is provided in modules implementing a specific abstract domain.
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

Coefficients

Scalar
APRON Scalar numbers.
Interval
APRON Intervals on scalars
Coeff
APRON Coefficients (either scalars or intervals)

Level 1 of APRON interface

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

Level 0 of APRON interface

Normally not needed for a user.
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

Misc

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