cprover
Loading...
Searching...
No Matches
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: