klee::FunctionReturnTraceEvent Class Reference

#include <ExecutionState.h>

Inheritance diagram for klee::FunctionReturnTraceEvent:

[legend]

Collaboration diagram for klee::FunctionReturnTraceEvent:

[legend]

List of all members.

Public Member Functions
	FunctionReturnTraceEvent (ExecutionState &state, KInstruction *ki)
Private Member Functions
virtual void	printDetails (std::ostream &os) const

---

Detailed Description

Definition at line 222 of file ExecutionState.h.

---

Constructor & Destructor Documentation

klee::FunctionReturnTraceEvent::FunctionReturnTraceEvent	(	ExecutionState &	state,
		KInstruction *	ki
	)			[inline]

Definition at line 224 of file ExecutionState.h.

---

Member Function Documentation

virtual void klee::FunctionReturnTraceEvent::printDetails

(

std::ostream &

os

)

const [inline, private, virtual]

Implements klee::ExecutionTraceEvent.

Definition at line 228 of file ExecutionState.h.

---

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

• include/klee/ExecutionState.h