A | |
Abstract0 [PolkaGrid] | |
Abstract0 [Ppl] | |
Abstract0 [Polka] | |
Abstract0 [Oct] | |
Abstract0 [Box] | |
Abstract0 [Disjunction] | |
Abstract0 [Policy] | |
Abstract0 | |
Abstract1 [PolkaGrid] | |
Abstract1 [Ppl] | |
Abstract1 [Polka] | |
Abstract1 [Oct] | |
Abstract1 [Box] | |
Abstract1 [Disjunction] | |
Abstract1 [Policy] | |
Abstract1 | |
B | |
Box | Intervals abstract domain |
C | |
Coeff | |
D | |
Dim | |
Disjunction | Disjunctions of APRON abstract values |
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 |
Policy [Box] | |
Policy | |
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 | |
Version | APRON version |