cprover
|
#include <interpreter_class.h>
Public Attributes | |
irep_idt | identifier |
unsigned | offset |
mp_integer | value |
Definition at line 43 of file interpreter_class.h.
irep_idt interpretert::memory_cellt::identifier |
Definition at line 46 of file interpreter_class.h.
Referenced by interpretert::assign(), interpretert::build_memory_map(), and interpretert::execute_function_call().
unsigned interpretert::memory_cellt::offset |
Definition at line 47 of file interpreter_class.h.
Referenced by interpretert::assign(), and interpretert::build_memory_map().
mp_integer interpretert::memory_cellt::value |
Definition at line 48 of file interpreter_class.h.
Referenced by interpretert::assign(), and interpretert::build_memory_map().