klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::MemoryObjectLT Struct Reference

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

#include <AddressSpace.h>

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 332 of file AddressSpace.cpp.

References klee::MemoryObject::address.


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