Index of types
Index of exceptions
Index of values
Index of modules
Exploits MLCuddIDL and Camllib libraries.
The companion Bddapron library extends it for numerical expressions and properties.
Environments and Expressions
| Env |
Normalized managers/environments
|
| Expr0 |
Finite-type expressions with BDDs
|
| Expr1 |
Finite-type expressions linked to normalized environments
|
Domains
| Domain0 |
Boolean (abstract) domain
|
| Domain1 |
Boolean (abstract) domain with integrated environment
|
More internal modules
| Output |
Output of BDDs/MTBDDs
|
| Reg |
Bounded unsigned integer expressions with BDDs
|
| Int |
Bounded integer expressions with BDDs
|
| Enum |
Enumerated expressions with BDDs
|
| Cond |
Normalized condition environments (base module)
|