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] |