cprover
interpretert::memory_cellt Class Reference

#include <interpreter_class.h>

Collaboration diagram for interpretert::memory_cellt:
[legend]

Public Attributes

irep_idt identifier
 
unsigned offset
 
mp_integer value
 

Detailed Description

Definition at line 43 of file interpreter_class.h.

Member Data Documentation

§ identifier

irep_idt interpretert::memory_cellt::identifier

§ offset

unsigned interpretert::memory_cellt::offset

Definition at line 47 of file interpreter_class.h.

Referenced by interpretert::assign(), and interpretert::build_memory_map().

§ value

mp_integer interpretert::memory_cellt::value

Definition at line 48 of file interpreter_class.h.

Referenced by interpretert::assign(), and interpretert::build_memory_map().


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