klee
Public Member Functions | List of all members
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 31 of file AddressSpace.h.

Member Function Documentation

◆ operator()()

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

Definition at line 346 of file AddressSpace.cpp.

References klee::MemoryObject::address.

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