CBMC
|
Result of a tree query holding both destructor codet and the ID of the node that held it. More...
#include <scope_tree.h>
Public Member Functions | |
destructor_and_idt (const codet &code, node_indext id) | |
Public Attributes | |
const codet | destructor |
node_indext | node_id |
Result of a tree query holding both destructor codet and the ID of the node that held it.
Definition at line 49 of file scope_tree.h.
|
inline |
Definition at line 52 of file scope_tree.h.
const codet destructor_and_idt::destructor |
Definition at line 57 of file scope_tree.h.
node_indext destructor_and_idt::node_id |
Definition at line 58 of file scope_tree.h.