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 | |
| f [Mpfr] | Functional (immutable) tag |
| f [Mpf] | Functional (immutable) tag |
| f [Mpq] | Functional (immutable) tag |
| f [Mpz] | Functional (immutable) tag |
| funid [Manager] | |
| funopt [Manager] | |
G | |
| grid [Ppl] | Linear congruences. |
I | |
| internal [Polka] | |
| internal [Oct] | |
L | |
| loose [Pplite] | |
| loose [Ppl] | |
| loose [Polka] | |
M | |
| m [Mpfr] | Mutable tag |
| m [Mpf] | Mutable tag |
| m [Mpq] | Mutable tag |
| m [Mpz] | Mutable tag |
| man [Policy] | |
P | |
| perm [Dim] | |
R | |
| round [Mpfr] | |
| round [Texpr1] | Rounding direction |
| round [Texpr0] | Rounding direction |
S | |
| state [Gmp_random] | |
| strict [Pplite] | Two flavors for convex polyhedra: loose or strict. |
| strict [Ppl] | Two flavors for convex polyhedra: loose or strict. |
| strict [Polka] | Two flavors for convex polyhedra: loose or strict. |
T | |
| t [Mpfrf] | multi-precision floating-point numbers |
| t [Mpqf] | multi-precision rationals |
| t [Mpzf] | multi-precision integer |
| t [Mpfr] | Mutable multi-precision floating-point numbers |
| t [Mpf] | Mutable multi-precision floating-point numbers |
| t [Mpq] | Mutable multi-precision rationals |
| t [Mpz] | Mutable multi-precision integer |
| t [Pplite] | Type of convex polyhedra, where |
| t [PolkaGrid] | Type of abstract values, where |
| t [Ppl] | Type of convex polyhedra/linear congruences, where |
| t [T1p] | Type of Taylor1+ forms. |
| t [Polka] | Type of convex polyhedra/linear equalities, where |
| t [Oct] | Type of octagons. |
| t [Box] | Type of boxes. |
| t [Disjunction] | |
| t [Policy] | |
| 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] | |
| tt [Mpfrf] | |
| tt [Mpqf] | |
| tt [Mpzf] | |
| tt [Mpfr] | |
| tt [Mpf] | |
| tt [Mpq] | |
| tt [Mpz] | |
| 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 |