klee::Cell Struct Reference

#include <Cell.h>

Collaboration diagram for klee::Cell:

Public Attributes
ref< Expr >	value

Detailed Description

Definition at line 18 of file Cell.h.

Member Data Documentation

value

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::ExecutionState::dumpStack(), klee::Executor::executeCall(), klee::Executor::executeInstruction(), and klee::ExecutionState::merge().

---

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

• /Users/cristic/klee/include/klee/Module/Cell.h