B  
binop [Texpr1] 
Binary operators

binop [Texpr0] 
Binary operators

box1 [Abstract1]  
C  
change [Dim]  
change2 [Dim]  
D  
dimension [Dim]  
E  
earray [Tcons1]  
earray [Generator1]  
earray [Lincons1]  
equalities [Polka] 
Linear equalities.

exc [Manager]  
exclog [Manager]  
expr [Texpr1] 
User type for tree expressions

expr [Texpr0] 
User type for tree expressions

F  
funid [Manager]  
funopt [Manager]  
G  
grid [Ppl] 
Linear congruences.

I  
internal [Polka]  
internal [Oct]  
L  
loose [Ppl]  
loose [Polka]  
P  
perm [Dim]  
R  
round [Mpfr]  
round [Texpr1] 
Rounding direction

round [Texpr0] 
Rounding direction

S  
state [Gmp_random]  
strict [Ppl] 
Two flavors for convex polyhedra: loose or strict.

strict [Polka] 
Two flavors for convex polyhedra: loose or strict.

T  
t [Mpfrf] 
multiprecision floatingpoint numbers

t [Mpqf] 
multiprecision rationals

t [Mpzf] 
multiprecision integer

t [Mpfr]  
t [Mpf]  
t [Mpq]  
t [Mpz]  
t [PolkaGrid] 
Type of abstract values, where
'a is Polka.loose or Polka.strict .

t [Ppl] 
Type of convex polyhedra/linear congruences, where
'a is loose , strict or grid .

t [Polka] 
Type of convex polyhedra/linear equalities, where
'a is loose , strict or equalities .

t [Oct] 
Type of octagons.

t [Box] 
Type of boxes.

t [Abstract1]  
t [Tcons1]  
t [Texpr1]  
t [Generator1]  
t [Lincons1]  
t [Linexpr1]  
t [Environment]  
t [Var]  
t [Abstract0]  
t [Manager]  
t [Tcons0]  
t [Texpr0]  
t [Generator0]  
t [Lincons0]  
t [Linexpr0]  
t [Dim]  
t [Coeff]  
t [Interval]  
t [Scalar]  
typ [Tcons1]  
typ [Texpr1] 
Destination type for rounding

typ [Generator1]  
typ [Lincons1]  
typ [Tcons0]  
typ [Texpr0] 
Destination type for rounding

typ [Generator0]  
typ [Lincons0] 
APRON Linear constraints of level 0

typvar [Environment]  
U  
union_5 [Coeff]  
unop [Texpr1] 
Unary operators

unop [Texpr0] 
Unary operators
