This is the complete list of members for klee::MemoryObject, including all inherited members.

_refCount	klee::MemoryObject	private
address	klee::MemoryObject
allocSite	klee::MemoryObject
compare(const MemoryObject &b) const	klee::MemoryObject	inline
counter	klee::MemoryObject	privatestatic
ExecutionState	klee::MemoryObject	friend
getAllocInfo(std::string &result) const	klee::MemoryObject
getBaseExpr() const	klee::MemoryObject	inline
getBoundsCheckOffset(ref< Expr > offset) const	klee::MemoryObject	inline
getBoundsCheckOffset(ref< Expr > offset, unsigned bytes) const	klee::MemoryObject	inline
getBoundsCheckPointer(ref< Expr > pointer) const	klee::MemoryObject	inline
getBoundsCheckPointer(ref< Expr > pointer, unsigned bytes) const	klee::MemoryObject	inline
getOffsetExpr(ref< Expr > pointer) const	klee::MemoryObject	inline
getSizeExpr() const	klee::MemoryObject	inline
id	klee::MemoryObject
isFixed	klee::MemoryObject
isGlobal	klee::MemoryObject	mutable
isLocal	klee::MemoryObject
isUserSpecified	klee::MemoryObject
MemoryObject(const MemoryObject &b)	klee::MemoryObject
MemoryObject(uint64_t _address)	klee::MemoryObject	inlineexplicit
MemoryObject(uint64_t _address, unsigned _size, bool _isLocal, bool _isGlobal, bool _isFixed, const llvm::Value _allocSite, MemoryManager _parent)	klee::MemoryObject	inline
name	klee::MemoryObject	mutable
ObjectState	klee::MemoryObject	friend
operator=(const MemoryObject &b)	klee::MemoryObject
parent	klee::MemoryObject
ref< const MemoryObject >	klee::MemoryObject	friend
ref< MemoryObject >	klee::MemoryObject	friend
setName(std::string name) const	klee::MemoryObject	inline
size	klee::MemoryObject
STPBuilder	klee::MemoryObject	friend
~MemoryObject()	klee::MemoryObject