Up

Introduction (version 0.9.10)

Coefficients

Scalar
Interval
Coeff

Managers and Abstract Domains

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

Level 1 of the interface (user-level)

Var
Environment
Linexpr1
Lincons1
Generator1
Texpr1
Tcons1
Abstract1
Parser

APRON Parsing of expressions

Level 0 of the interface

Dim
Linexpr0
Lincons0
Generator0
Texpr0
Tcons0
Abstract0

MLGMPIDL modules

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