AddressSpace.h File Reference

#include "Memory.h"
#include "klee/Expr/Expr.h"
#include "klee/ADT/ImmutableMap.h"
#include "klee/System/Time.h"

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
struct	klee::MemoryObjectLT
	Function object ordering MemoryObject's by address. More...
class	klee::AddressSpace

Namespaces
namespace	klee

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