A | |
| Abstract0 [Pplite] | |
| Abstract0 [PolkaGrid] | |
| Abstract0 [Ppl] | |
| Abstract0 [Polka] | |
| Abstract0 [Oct] | |
| Abstract0 [Box] | |
| Abstract0 [Disjunction] | |
| Abstract0 [Policy] | |
| Abstract0 | |
| Abstract1 [Pplite] | |
| 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) |
| Pplite | Polyhedra abstract domains (PPLite wrapper) |
S | |
| Scalar | |
T | |
| T1p | Taylor1+ abstract domain (beta version) |
| Tcons0 | |
| Tcons1 | |
| Texpr0 | |
| Texpr1 | |
V | |
| Var | |
| Version | APRON version |