|
CBMC
|
Include dependency graph for destructor_tree.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | ancestry_resultt |
| Result of an attempt to find ancestor information about two nodes. More... | |
| class | destructor_and_idt |
| Result of a tree query holding both destructor codet and the ID of the node that held it. More... | |
| class | destructor_treet |
| Tree to keep track of the destructors generated along each branch of a function. More... | |
| class | destructor_treet::destructor_nodet |
Typedefs | |
| typedef std::size_t | node_indext |
| typedef std::size_t node_indext |
Definition at line 15 of file destructor_tree.h.