klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
AddressSpace.h File Reference
Include dependency graph for AddressSpace.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  klee::ref< T >
 
struct  klee::MemoryObjectLT
 Function object ordering MemoryObject's by address. More...
 
class  klee::AddressSpace
 

Namespaces

 klee
 

Typedefs

typedef std::pair< const
MemoryObject *, const
ObjectState * > 
klee::ObjectPair
 
typedef std::vector< ObjectPair > klee::ResolutionList
 
typedef ImmutableMap< const
MemoryObject *, ObjectHolder,
MemoryObjectLT > 
klee::MemoryMap