SymbolicHeap::Origin::DataOrigin Struct Reference

Data object. More...

#include <passes/pre_eval/symbolic_heap.h>

Collaboration diagram for SymbolicHeap::Origin::DataOrigin:

Public Member Functions
	DataOrigin (Object *obj)

Public Attributes
Kind	K
Object *	Obj

Detailed Description

Data object.

---

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

• passes/pre_eval/symbolic_heap.h