Index of modules


A
Abstract0
APRON Abstract value of level 0
Abstract1
APRON Abstract values of level 1

C
Coeff
APRON Coefficients (either scalars or intervals)

D
Dim
APRON Dimensions and related types

E
Environment
APRON Environments binding dimensions to names

G
Generator0
APRON Generators of level 0
Generator1
APRON Generators and array of generators of level 1
Gmp_random
GMP random generation functions

I
Interval
APRON Intervals on scalars
Itv
ITV: intervals abstract domain

L
Lincons0
APRON Linear constraints of level 0
Lincons1
APRON Constraints and array of constraints of level 1
Linexpr0
APRON Linear expressions of level 0
Linexpr1
APRON Expressions of level 1

M
Manager
APRON Managers
Mpq
GMP multiprecision rationals
Mpqf
GMP multi-precision rationals, functional version
Mpz
GMP multi-precision integers
Mpzf
GMP multi-precision integers, functional version

O
Oct
OCT: octagon abstract domain.

P
Parser
APRON Parsing of expressions
Polka
POLKA: Convex Polyhedra abstract domain

S
Scalar
APRON Scalar numbers.

V
Var
APRON Variables