scope_tree.h File Reference

#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.