Introduction (version 0.9.15)| Scalar | |
| Interval | |
| Coeff |
| Manager | |
| Box | Intervals abstract domain |
| Oct | |
| Polka | |
| Ppl | Convex Polyhedra and Linear Congruences abstract domains (PPL wrapper) |
| PolkaGrid | Reduced product of NewPolka polyhedra and PPL grids |
| T1p | Taylor1+ abstract domain (beta version) |
| Var | |
| Environment | |
| Linexpr1 | |
| Lincons1 | |
| Generator1 | |
| Texpr1 | |
| Tcons1 | |
| Abstract1 | |
| Parser | APRON Parsing of expressions |
| Dim | |
| Linexpr0 | |
| Lincons0 | |
| Generator0 | |
| Texpr0 | |
| Tcons0 | |
| Abstract0 |
| Mpz | |
| Mpq | |
| Mpf | |
| Mpfr | |
| Gmp_random | |
| Mpzf | GMP multi-precision integers, functional version |
| Mpqf | GMP multi-precision rationals, functional version |
| Mpfrf | MPFR multi-precision floating-point version, functional version |