# Index of modules

A
Abstract0 [PolkaGrid] |
Abstract0 [Ppl] |
Abstract0 [Polka] |
Abstract0 [Oct] |
Abstract0 [Box] |
Abstract0 |
Abstract1 [PolkaGrid] |
Abstract1 [Ppl] |
Abstract1 [Polka] |
Abstract1 [Oct] |
Abstract1 [Box] |
Abstract1 |
B
Box | Intervals abstract domain
C
Coeff |
D
Dim |
E
Environment |
G
Generator0 |
Generator1 |
Gmp_random |
I
Interval |
Introduction |
L
Lincons0 |
Lincons1 |
Linexpr0 |
Linexpr1 |
M
Manager |
Mpf |
Mpf [Gmp_random] |
Mpfr |
Mpfr [Gmp_random] |
Mpfrf | MPFR multi-precision floating-point version, functional version
Mpq |
Mpqf | GMP multi-precision rationals, functional version
Mpz [Gmp_random] |
Mpz |
Mpzf | GMP multi-precision integers, functional version
O
Oct |
P
Parser | APRON Parsing of expressions
Polka |
PolkaGrid | Reduced product of NewPolka polyhedra and PPL grids
Ppl | Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper)
S
Scalar |
T
Tcons0 |
Tcons1 |
Texpr0 |
Texpr1 |
V
Var |