#include <util/graph.h>#include <util/std_code_base.h>#include <goto-programs/goto_program.h>#include <unordered_set>
Include dependency graph for scope_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 | scope_treet |
| Tree to keep track of the destructors generated along each branch of a function. More... | |
| struct | scope_treet::declaration_statet |
| class | scope_treet::scope_nodet |
Typedefs | |
| typedef std::size_t | node_indext |
Typedef Documentation
◆ node_indext
| typedef std::size_t node_indext |
Definition at line 19 of file scope_tree.h.
