CBMC
Public Member Functions | Public Attributes | List of all members
linkingt::adjust_type_infot Struct Reference

#include <linking_class.h>

+ Collaboration diagram for linkingt::adjust_type_infot:

Public Member Functions

 adjust_type_infot (const symbolt &_old_symbol, const symbolt &_new_symbol)
 

Public Attributes

const symbolt & old_symbol
 
const symbolt & new_symbol
 
bool set_to_new
 
std::unordered_set< irep_idt > o_symbols
 
std::unordered_set< irep_idt > n_symbols
 

Detailed Description

Definition at line 100 of file linking_class.h.

Constructor & Destructor Documentation

◆ adjust_type_infot()

linkingt::adjust_type_infot::adjust_type_infot ( const symbolt &  _old_symbol,
const symbolt &  _new_symbol 
)
inline

Definition at line 102 of file linking_class.h.

Member Data Documentation

◆ n_symbols

std::unordered_set<irep_idt> linkingt::adjust_type_infot::n_symbols

Definition at line 115 of file linking_class.h.

◆ new_symbol

const symbolt& linkingt::adjust_type_infot::new_symbol

Definition at line 112 of file linking_class.h.

◆ o_symbols

std::unordered_set<irep_idt> linkingt::adjust_type_infot::o_symbols

Definition at line 114 of file linking_class.h.

◆ old_symbol

const symbolt& linkingt::adjust_type_infot::old_symbol

Definition at line 111 of file linking_class.h.

◆ set_to_new

bool linkingt::adjust_type_infot::set_to_new

Definition at line 113 of file linking_class.h.

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