A | |
| Abstract0 [PolkaGrid] | |
| Abstract0 [Pplite] | |
| Abstract0 [Ppl] | |
| Abstract0 [Polka] | |
| Abstract0 [Oct] | |
| Abstract0 [Box] | |
| Abstract0 [Disjunction] | |
| Abstract0 [Policy] | |
| Abstract0 | |
| Abstract1 [PolkaGrid] | |
| Abstract1 [Pplite] | |
| 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
|