klee::MemoryObjectLT Struct Reference

Function object ordering MemoryObject's by address. More...

#include <AddressSpace.h>

List of all members.

Public Member Functions
bool	operator() (const MemoryObject *a, const MemoryObject *b) const

---

Detailed Description

Function object ordering MemoryObject's by address.

Definition at line 30 of file AddressSpace.h.

---

Member Function Documentation

bool MemoryObjectLT::operator()	(	const MemoryObject *	a,
		const MemoryObject *	b
	)			const

Definition at line 331 of file AddressSpace.cpp.

References klee::MemoryObject::address.

---

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

• lib/Core/AddressSpace.h
• lib/Core/AddressSpace.cpp