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.
Manager
APRON Managers
Itv
ITV: intervals abstract domain
Oct
Oct: octagon abstract domain.
Polka
POLKA: Convex Polyhedra abstract domain

Coefficients

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)

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
Gmp_random
GMP random generation functions