Index of types


B
box1 [Abstract1]
APRON Abstract values of level 1

C
change [Dim]

D
dimension [Dim]

E
earray [Generator1]
earray [Lincons1]
exc [Manager]
exclog [Manager]

F
funid [Manager]
funopt [Manager]

I
internal [Polka]
internal [Oct]

P
perm [Dim]

S
state [Gmp_random]

T
t [Mpq]
t [Mpz]
t [Abstract1]
t [Generator1]
t [Lincons1]
t [Linexpr1]
t [Environment]
t [Var]
t [Abstract0]
t [Manager]
t [Generator0]
t [Lincons0]
t [Linexpr0]
t [Dim]
t [Coeff]
t [Interval]
t [Scalar]
t [Mpqf]
multi-precision rationals
t [Mpzf]
multi-precision integer
tbool [Manager]
typ [Generator1]
typ [Lincons1]
typ [Generator0]
typ [Lincons0]
typvar [Environment]

U
union_5 [Coeff]