CBMC
Public Attributes | List of all members
replace_history_parametert Struct Reference

#include <utils.h>

+ Collaboration diagram for replace_history_parametert:

Public Attributes

exprt expression_after_replacement
 
std::unordered_map< exprt, symbol_exprt, irep_hash > parameter_to_history
 
goto_programt history_construction
 

Detailed Description

Definition at line 235 of file utils.h.

Member Data Documentation

◆ expression_after_replacement

exprt replace_history_parametert::expression_after_replacement

Definition at line 237 of file utils.h.

◆ history_construction

goto_programt replace_history_parametert::history_construction

Definition at line 239 of file utils.h.

◆ parameter_to_history

std::unordered_map<exprt, symbol_exprt, irep_hash> replace_history_parametert::parameter_to_history

Definition at line 238 of file utils.h.

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