CBMC
Public Member Functions | Public Attributes | List of all members
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 <destructor_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 45 of file destructor_tree.h.

Constructor & Destructor Documentation

◆ destructor_and_idt()

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

Definition at line 48 of file destructor_tree.h.

Member Data Documentation

◆ destructor

const codet destructor_and_idt::destructor

Definition at line 53 of file destructor_tree.h.

◆ node_id

node_indext destructor_and_idt::node_id

Definition at line 54 of file destructor_tree.h.

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