Index of modules

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