klee::Cell Struct Reference

#include <Cell.h>

Collaboration diagram for klee::Cell:

[legend]

List of all members.

Public Attributes
ref< Expr >	value

---

Detailed Description

Definition at line 18 of file Cell.h.

---

Member Data Documentation

ref<Expr> klee::Cell::value

Definition at line 19 of file Cell.h.

Referenced by klee::Executor::bindArgument(), klee::Executor::bindLocal(), klee::Executor::bindModuleConstants(), klee::Executor::executeInstruction(), klee::ExecutionState::merge(), and klee::Executor::terminateStateOnError().

---

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

• include/klee/Internal/Module/Cell.h