cprover
linkingt::adjust_type_infot Struct Reference

#include <linking_class.h>

Collaboration diagram for linkingt::adjust_type_infot:
[legend]

Public Member Functions

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

Public Attributes

const symboltold_symbol
 
const symboltnew_symbol
 
bool set_to_new
 
id_sett o_symbols
 
id_sett n_symbols
 

Detailed Description

Definition at line 83 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 85 of file linking_class.h.

Member Data Documentation

◆ n_symbols

id_sett linkingt::adjust_type_infot::n_symbols

Definition at line 98 of file linking_class.h.

Referenced by linkingt::adjust_object_type_rec().

◆ new_symbol

const symbolt& linkingt::adjust_type_infot::new_symbol

Definition at line 95 of file linking_class.h.

Referenced by linkingt::adjust_object_type_rec().

◆ o_symbols

id_sett linkingt::adjust_type_infot::o_symbols

Definition at line 97 of file linking_class.h.

Referenced by linkingt::adjust_object_type_rec().

◆ old_symbol

const symbolt& linkingt::adjust_type_infot::old_symbol

Definition at line 94 of file linking_class.h.

Referenced by linkingt::adjust_object_type_rec().

◆ set_to_new

bool linkingt::adjust_type_infot::set_to_new

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