Index of types
Index of exceptions
Index of values
Index of modules
Index of module types
Exploits MLCuddIDL, Camllib, APRON, and (companion) Bdd libraries
Environments (variables and conditions) and Expressions
| Env |
Normalized variable managers/environments
|
| Cond |
Normalized condition 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
|
Domains
| Mtbdddomain0 |
Boolean/Numerical domain, with MTBDDs over APRON values
|
| Bdddomain0 |
Combined Boolean/Numerical domain, with lists of BDDs and APRON values
|
| Domain0 |
Boolean/Numerical domain: generic interface
|
| Mtbdddomain1 |
Boolean/Numerical domain linked to environment
|
| Bdddomain1 |
Boolean/Numerical domain linked to environment
|
| Domain1 |
Boolean/Numerical domain linked to environment
|
Parsing
| Syntax |
Building BDDAPRON expressions from Abstract Syntax Trees
|
| Parser |
Parsing BDDAPRON expressions from strings (or lexing buffers)
|
Internal modules
| Apronexpr |
Purely arithmetic expressions (internal)
|
| ApronexprDD |
DDs on top of arithmetic expressions (internal)
|
| ApronDD |
DDs on top of Apron abstract values (internal)
|
| Bddleaf |
Manipulation of lists of guards and leafs (internal)
|
| Descend |
Recursive descend on sets of diagrams (internal)
|
| Domainlevel1 |
Functor to transform an abstract domain interface from level 0
to level 1 (internal)
|
| Lex | |
| Yacc |