Index of types


A
apron_coeff [Expr1]
apron_coeff [Expr0]
apron_cons_typ [Expr1]
apron_round [Expr1]
apron_round [Expr0]
apron_typ [Expr1]
apron_typ [Expr0]
asssub [ApronDD]

B
bbinop [Syntax]
Boolean/finite-type binary operators
bdd [Domain1]
bdd [Domain0]
binop [Syntax]
binop [Apronexpr.Tree]

C
change [Env]
cond [Cond]
Conditions
cst [Syntax]
Constant

E
elt [Bdddomain0]
elt [Bddleaf]
expr [Syntax]
Expressions
expr [Expr2.O]
expr [Expr2]
expr [Expr1.O]
Type of general expressions
expr [Expr1]
Type of general expressions
expr [Expr0]
Type of general expressions
expr [Apronexpr]
ext [Env]
Environment extension.

G
global [ApronDD]

L
leaf [ApronDD]
leaf_u [ApronDD]

M
man [Domain1]
Type of generic managers.
man [Domainlevel1.Level0]
BDDAPRON Manager.
man [Domainlevel1.Level1]
BDDAPRON Manager.
man [Domain0]
Type of generic managers.
man [Bdddomain0]
BDDAPRON Manager.
man [Mtbdddomain0]
BDDAPRON Manager.
man [ApronDD]
monomial [Apronexpr.Poly]
mtbdd [Domain1]
mtbdd [Domain0]

R
round [Apronexpr.Tree]

S
symbol [Env]
Manager for manipulating symbols.
symbol [Apronexpr]

T
t [Domain1]
Type of generic abstract values
t [Domainlevel1.Level0]
BDDAPRON Abstract value.
t [Domainlevel1.Level1]
Level 1 abstract value
t [Domain0]
Type of generic abstract values
t [Bdddomain0]
Abstract value.
t [Bddleaf]
t [Mtbdddomain0]
BDDAPRON Abstract value.
t [Expr2.List]
t [Expr2.Bool]
t [Expr2.O.List]
t [Expr2.O.Bool]
t [Expr2.O]
t [Expr2]
t [Expr1.O.List]
t [Expr1.O.Apron]
t [Expr1.O.Benum]
t [Expr1.O.Bint]
t [Expr1.O.Bool]
t [Expr1.O]
t [Expr1.List]
t [Expr1.Apron]
t [Expr1.Benum]
t [Expr1.Bint]
t [Expr1.Bool]
t [Expr1]
t [Expr0.O.Apron]
t [Expr0.O.Benum]
t [Expr0.O.Bint]
t [Expr0.O.Bool]
t [Expr0.Apron]
t [Expr0.Benum]
t [Expr0.Bint]
t [Expr0.Bool]
t [Expr0]
t [ApronDD]
t [ApronexprDD]
t [Cond.O]
t [Cond]
t [Env.O]
t [Env]
t [Apronexpr.Condition]
t [Apronexpr.Tree]
t [Apronexpr.Poly]
t [Apronexpr.Lin]
t [Apronexpr]
t0 [Domainlevel1.Level1]
Level 0 abstract value.
t0 [Env]
Environment.
table [ApronDD]
term [Apronexpr.Poly]
term [Apronexpr.Lin]
token [Yacc]
typ [Env]
Types.
typ [Apronexpr.Condition]
typ [Apronexpr.Tree]
typ [Apronexpr]
typ_of_var [Apronexpr]
typdef [Env]
Type definitions.

U
unop [Syntax]
Unary operators
unop [Apronexpr.Tree]

V
value [Cond]
value [Env]
Type of pairs (environment, value)
varexp [Apronexpr.Poly]