klee::PTreeNode Class Reference

#include <PTree.h>

Collaboration diagram for klee::PTreeNode:

Public Member Functions
	PTreeNode (const PTreeNode &)=delete
	PTreeNode (PTreeNode *parent, ExecutionState *state)
	~PTreeNode ()=default

Public Attributes
PTreeNode *	parent = nullptr
PTreeNodePtr	left
PTreeNodePtr	right
ExecutionState *	state = nullptr

Detailed Description

Definition at line 29 of file PTree.h.

Constructor & Destructor Documentation

PTreeNode() [1/2]

klee::PTreeNode::PTreeNode ( const PTreeNode &  )

delete

PTreeNode() [2/2]

PTreeNode::PTreeNode	(	PTreeNode *	parent,
		ExecutionState *	state
	)

Definition at line 131 of file PTree.cpp.

References left, klee::ExecutionState::ptreeNode, right, and state.

~PTreeNode()

klee::PTreeNode::~PTreeNode ( )

default

Member Data Documentation

left

PTreeNodePtr klee::PTreeNode::left

Definition at line 33 of file PTree.h.

Referenced by klee::PTree::attach(), klee::PTree::dump(), PTreeNode(), klee::PTree::remove(), klee::RandomPathSearcher::selectState(), and klee::RandomPathSearcher::update().

parent

PTreeNode* klee::PTreeNode::parent = nullptr

Definition at line 31 of file PTree.h.

Referenced by klee::PTree::attach(), klee::PTree::remove(), and klee::RandomPathSearcher::update().

right

PTreeNodePtr klee::PTreeNode::right

Definition at line 34 of file PTree.h.

Referenced by klee::PTree::attach(), klee::PTree::dump(), PTreeNode(), klee::PTree::remove(), klee::RandomPathSearcher::selectState(), and klee::RandomPathSearcher::update().

state

ExecutionState* klee::PTreeNode::state = nullptr

Definition at line 35 of file PTree.h.

Referenced by klee::PTree::attach(), klee::PTree::dump(), PTreeNode(), and klee::RandomPathSearcher::selectState().

---

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

• /Users/cristic/klee/lib/Core/PTree.h
• /Users/cristic/klee/lib/Core/PTree.cpp