CBMC
destructor_tree.h File Reference
#include <util/graph.h>
#include <util/std_code.h>
+ 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 Documentation

◆ node_indext

typedef std::size_t node_indext

Definition at line 15 of file destructor_tree.h.