interpretert::function_assignmentt Struct Reference

#include <interpreter_class.h>

Collaboration diagram for interpretert::function_assignmentt:

Public Attributes
irep_idt	id
exprt	value

Detailed Description

Definition at line 50 of file interpreter_class.h.

Member Data Documentation

id

irep_idt interpretert::function_assignmentt::id

Definition at line 52 of file interpreter_class.h.

value

exprt interpretert::function_assignmentt::value

Definition at line 53 of file interpreter_class.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-programs/interpreter_class.h