CBMC
Loading...
Searching...
No Matches
Classes | Typedefs
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...
 
  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...
 
 
 

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.

AltStyle によって変換されたページ (->オリジナル) /