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 233 of file utils.h.

Member Data Documentation

expression_after_replacement

exprt replace_history_parametert::expression_after_replacement

Definition at line 235 of file utils.h.

history_construction

goto_programt replace_history_parametert::history_construction

Definition at line 237 of file utils.h.

parameter_to_history

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

Definition at line 236 of file utils.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/utils.h