A | |
| Apron [Expr1.O] | |
| Apron [Expr1] | |
| Apron [Expr0.O] | |
| Apron [Expr0] | |
| ApronDD |
DDs on top of Apron abstract values (internal)
|
| Apronexpr |
Purely arithmetic expressions (internal)
|
| ApronexprDD |
DDs on top of arithmetic expressions (internal)
|
B | |
| Bdddomain0 |
Combined Boolean/Numerical domain, with lists of BDDs and APRON values
|
| Bdddomain1 |
Boolean/Numerical domain linked to environment
|
| Bddleaf |
Manipulation of lists of guards and leafs (internal)
|
| Benum [Expr1.O] | |
| Benum [Expr1] | |
| Benum [Expr0.O] | |
| Benum [Expr0] | |
| Bint [Expr1.O] | |
| Bint [Expr1] | |
| Bint [Expr0.O] | |
| Bint [Expr0] | |
| Bool [Expr2] | |
| Bool [Expr2.O] | |
| Bool [Expr1.O] | |
| Bool [Expr1] | |
| Bool [Expr0.O] | |
| Bool [Expr0] | |
C | |
| Cond |
Normalized condition environments
|
| Condition [ApronexprDD] | |
| Condition [Apronexpr] | |
D | |
| Descend |
Recursive descend on sets of diagrams (internal)
|
| Domain0 |
Boolean/Numerical domain: generic interface
|
| Domain1 |
Boolean/Numerical domain linked to environment
|
| Domainlevel1 |
Functor to transform an abstract domain interface from level 0
to level 1 (internal)
|
E | |
| Env |
Normalized variable managers/environments
|
| Expr0 |
Finite-type and arithmetical expressions
|
| Expr1 |
Finite-type and arithmetical expressions linked to normalized environments
|
| Expr2 |
Finite-type and arithmetical expressions linked to variable
and condition environments
|
L | |
| Lex | |
| Lin [Apronexpr] | |
| List [Expr2] | |
| List [Expr2.O] | |
| List [Expr1.O] | |
| List [Expr1] | |
M | |
| Make [Domainlevel1] | |
| Mtbdddomain0 |
Boolean/Numerical domain, with MTBDDs over APRON values
|
| Mtbdddomain1 |
Boolean/Numerical domain linked to environment
|
O | |
| O [Bdddomain0] | |
| O [Mtbdddomain0] | |
| O [Expr2] | |
| O [Expr1] | |
| O [Expr0] | |
| O [Cond] | |
| O [Env] |
Opened signature
|
P | |
| Parser |
Parsing BDDAPRON expressions from strings (or lexing buffers)
|
| Poly [Apronexpr] | |
S | |
| Syntax |
Building BDDAPRON expressions from Abstract Syntax Trees
|
T | |
| Tree [Apronexpr] | |
Y | |
| Yacc |