AddressSpace.h File Reference

#include "ObjectHolder.h"
#include "klee/Expr.h"
#include "klee/Internal/ADT/ImmutableMap.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 *, ObjectHolder, MemoryObjectLT >	klee::MemoryMap