SymbolicHeap::Origin::FrameOrigin Struct Reference

Frame object. More...

#include <passes/pre_eval/symbolic_heap.h>

Public Member Functions
	FrameOrigin (unsigned frame, unsigned index)

Public Attributes
Kind	K
unsigned	Frame
unsigned	Index

Detailed Description

Frame object.

---

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

• passes/pre_eval/symbolic_heap.h