klee::Array Class Reference

#include <Expr.h>

Collaboration diagram for klee::Array:

[legend]

List of all members.

Public Member Functions
	Array (const MemoryObject *_object, unsigned _id, uint64_t _size)
	~Array ()
Public Attributes
const MemoryObject *	object
unsigned	id
unsigned	size
void *	stpInitialArray

---

Detailed Description

Definition at line 474 of file Expr.h.

---

Constructor & Destructor Documentation

klee::Array::Array	(	const MemoryObject *	_object,
		unsigned	_id,
		uint64_t	_size
	)			[inline]

Definition at line 489 of file Expr.h.

klee::Array::~Array

(

)

[inline]

Definition at line 491 of file Expr.h.

References stpInitialArray.

---

Member Data Documentation

unsigned klee::Array::id

Definition at line 477 of file Expr.h.

Referenced by ObjectFinder::addObject(), klee::UpdateList::compare(), PCLoggingSolver::computeInitialValues(), klee::STPBuilder::getInitialArray(), CexConstifier::getInitialValue(), klee::UpdateList::hash(), IndependentElementSet::print(), and PPrinter::printUpdateList().

const MemoryObject* klee::Array::object

Definition at line 476 of file Expr.h.

Referenced by klee::Executor::doImpliedValueConcretization().

unsigned klee::Array::size

Definition at line 478 of file Expr.h.

Referenced by ObjectFinder::addObject(), klee::ImpliedValue::checkForImpliedValues(), ValidatingSolver::computeInitialValues(), PCLoggingSolver::computeInitialValues(), FastCexSolver::computeInitialValues(), CexCachingSolver::computeInitialValues(), klee::expr::QueryCommand::dump(), klee::SeedInfo::patchSeed(), runAndGetCex(), runAndGetCexForked(), and TryConstArrayOpt().

void* klee::Array::stpInitialArray [mutable]

Definition at line 481 of file Expr.h.

Referenced by klee::STPBuilder::getInitialArray(), ~Array(), and klee::MemoryObject::~MemoryObject().

---

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

• include/klee/Expr.h