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