klee::PTreeNode Class Reference

#include <PTree.h>

Collaboration diagram for klee::PTreeNode:

[legend]

List of all members.

Public Attributes
PTreeNode *	parent
PTreeNode *	left
PTreeNode *	right
ExecutionState *	data
ref< Expr >	condition
Private Member Functions
	PTreeNode (PTreeNode *_parent, ExecutionState *_data)
	~PTreeNode ()
Friends
class	PTree

---

Detailed Description

Definition at line 40 of file PTree.h.

---

Constructor & Destructor Documentation

PTreeNode::PTreeNode	(	PTreeNode *	_parent,
		ExecutionState *	_data
	)			[private]

Definition at line 92 of file PTree.cpp.

PTreeNode::~PTreeNode

(

)

[private]

Definition at line 101 of file PTree.cpp.

---

Friends And Related Function Documentation

friend class PTree [friend]

Definition at line 41 of file PTree.h.

---

Member Data Documentation

ref<Expr> klee::PTreeNode::condition

Definition at line 45 of file PTree.h.

ExecutionState* klee::PTreeNode::data

Definition at line 44 of file PTree.h.

Referenced by klee::Executor::branch(), and klee::Executor::fork().

PTreeNode * klee::PTreeNode::left

Definition at line 43 of file PTree.h.

Referenced by klee::PTree::remove().

PTreeNode* klee::PTreeNode::parent

Definition at line 43 of file PTree.h.

Referenced by klee::PTree::remove().

PTreeNode * klee::PTreeNode::right

Definition at line 43 of file PTree.h.

---

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

• lib/Core/PTree.h
• lib/Core/PTree.cpp