klee::BranchTraceEvent Class Reference

#include <ExecutionState.h>

Inheritance diagram for klee::BranchTraceEvent:

[legend]

Collaboration diagram for klee::BranchTraceEvent:

[legend]

List of all members.

Public Member Functions
	BranchTraceEvent (ExecutionState &state, KInstruction *ki, bool _trueTaken, bool _isTwoWay)
Public Attributes
bool	trueTaken
bool	canForkGoBothWays
Private Member Functions
virtual void	printDetails (std::ostream &os) const

---

Detailed Description

Definition at line 233 of file ExecutionState.h.

---

Constructor & Destructor Documentation

klee::BranchTraceEvent::BranchTraceEvent	(	ExecutionState &	state,
		KInstruction *	ki,
		bool	_trueTaken,
		bool	_isTwoWay
	)			[inline]

Definition at line 238 of file ExecutionState.h.

---

Member Function Documentation

void BranchTraceEvent::printDetails

(

std::ostream &

os

)

const [private, virtual]

Implements klee::ExecutionTraceEvent.

Definition at line 381 of file ExecutionState.cpp.

References canForkGoBothWays, and trueTaken.

---

Member Data Documentation

bool klee::BranchTraceEvent::canForkGoBothWays

Definition at line 236 of file ExecutionState.h.

Referenced by ExecutionTraceEventEquals(), and printDetails().

bool klee::BranchTraceEvent::trueTaken

Definition at line 235 of file ExecutionState.h.

Referenced by ExecutionTraceEventEquals(), and printDetails().

---

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

• include/klee/ExecutionState.h
• lib/Core/ExecutionState.cpp