CBMC
destructor_and_idt Class Reference

Result of a tree query holding both destructor codet and the ID of the node that held it. More...

#include <scope_tree.h>

+ Collaboration diagram for destructor_and_idt:

Public Member Functions

 destructor_and_idt (const codet &code, node_indext id)
 

Public Attributes

const codet destructor
 
node_indext node_id
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ destructor_and_idt()

destructor_and_idt::destructor_and_idt ( const codet code,
node_indext  id 
)
inline

Definition at line 52 of file scope_tree.h.

Member Data Documentation

◆ destructor

const codet destructor_and_idt::destructor

Definition at line 57 of file scope_tree.h.

◆ node_id

node_indext destructor_and_idt::node_id

Definition at line 58 of file scope_tree.h.


The documentation for this class was generated from the following file: