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

Introduction (version 0.9.10)

Coefficients


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

Managers and Abstract Domains


Manager
APRON Managers
Box
Intervals abstract domain
Oct
Octagon abstract domain.
Polka
Convex Polyhedra and Linear Equalities abstract domains
Ppl
Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper)
PolkaGrid
Reduced product of NewPolka polyhedra and PPL grids

Level 1 of the interface (user-level)


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
Texpr1
APRON Expressions of level 1
Tcons1
APRON tree constraints and array of tree constraints of level 1
Abstract1
APRON Abstract values of level 1
Parser
APRON Parsing of expressions

Level 0 of the interface


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
Texpr0
Tcons0
APRON tree expressions constraints of level 0
Abstract0
APRON Abstract value of level 0

MLGMPIDL modules


Mpz
GMP multi-precision integers
Mpq
GMP multiprecision rationals
Mpf
GMP multiprecision floating-point numbers
Mpfr
MPFR multiprecision floating-point numbers
Gmp_random
GMP random generation functions
Mpzf
GMP multi-precision integers, functional version
Mpqf
GMP multi-precision rationals, functional version
Mpfrf
MPFR multi-precision floating-point version, functional version