interpretert::function_assignments_contextt Struct Reference

#include <interpreter_class.h>

Collaboration diagram for interpretert::function_assignments_contextt:

Public Attributes
irep_idt	calling_function
function_assignmentst	return_assignments
function_assignmentst	param_assignments
function_assignmentst	exception_assignments

Detailed Description

Definition at line 83 of file interpreter_class.h.

Member Data Documentation

calling_function

irep_idt interpretert::function_assignments_contextt::calling_function

Definition at line 85 of file interpreter_class.h.

exception_assignments

function_assignmentst interpretert::function_assignments_contextt::exception_assignments

Definition at line 88 of file interpreter_class.h.

param_assignments

function_assignmentst interpretert::function_assignments_contextt::param_assignments

Definition at line 87 of file interpreter_class.h.

return_assignments

function_assignmentst interpretert::function_assignments_contextt::return_assignments

Definition at line 86 of file interpreter_class.h.

---

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

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