#include "relObject.h"
#include <vector>
#include <set>
#include <map>
#include <cassert>
Include dependency graph for bddBdd.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | bddNode |
| BDD node. More... | |
| struct | bddBinEntry |
| Cache entry for binary operations. More... | |
| struct | bddStatEntry |
| Cache entry for counting tuples. More... | |
| struct | bddGraphNode |
| Node for BDD output graph representation. More... | |
| class | bddBdd |
| One Binary Decision Diagram and static data structures of the whole Shared BDD package. More... | |
1.5.1