Everything in the LaVaBDD package is defined in the "lava" namespace. More...
Classes | |
| class | Lattice |
| The Lattice class template represents a finite distributive lattice. More... | |
| class | NodePtr |
| The NodePtr class provides automatic reference-counting for Node pointers. More... | |
| class | Node |
| The Node class represents an LVBDD node. More... | |
| class | LVBDD |
| The LVBDD class template represents a Lattice-Valued Binary Decision Diagram. More... | |
Functions | |
| int | hash_int (int key) |
| Simple hash function for int values. It is used internally to hash pointers and indexes. | |
Variables | |
| const int | UNF = 0 |
| Pass this value to the LVBDD template to obtain a Unshared Normal Form LVBDD. | |
| const int | SNF_MEET = 1 |
| Pass this value to the LVBDD template to obtain a meet-semantics Shared Normal Form LVBDD. | |
| const int | SNF_JOIN = 2 |
| Pass this value to the LVBDD template to obtain a join-semantics Shared Normal Form LVBDD. | |
Everything in the LaVaBDD package is defined in the "lava" namespace.
1.6.3