CBMC
Public Attributes | List of all members
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: