CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
replace_history_parametert Struct Reference

#include <utils.h>

+ Collaboration diagram for replace_history_parametert:
[フレーム]
[legend]

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

AltStyle によって変換されたページ (->オリジナル) /