interpretert::memory_cellt Class Reference

#include <interpreter_class.h>

Public Types
enum	initializedt { initializedt::UNKNOWN, initializedt::WRITTEN_BEFORE_READ, initializedt::READ_BEFORE_WRITTEN }

Public Member Functions
	memory_cellt ()

Public Attributes
mp_integer	value
initializedt	initialized

Detailed Description

Definition at line 162 of file interpreter_class.h.

Member Enumeration Documentation

initializedt

enum interpretert::memory_cellt::initializedt

strong

Enumerator
UNKNOWN
WRITTEN_BEFORE_READ
READ_BEFORE_WRITTEN

Definition at line 171 of file interpreter_class.h.

Constructor & Destructor Documentation

memory_cellt()

interpretert::memory_cellt::memory_cellt ( )

inline

Definition at line 165 of file interpreter_class.h.

Member Data Documentation

initialized

initializedt interpretert::memory_cellt::initialized

mutable

Definition at line 178 of file interpreter_class.h.

value

mp_integer interpretert::memory_cellt::value

Definition at line 169 of file interpreter_class.h.

---

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

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