klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::PTreeNode Class Reference

#include <PTree.h>

Collaboration diagram for klee::PTreeNode:

Public Attributes

PTreeNodeparent
 
PTreeNodeleft
 
PTreeNoderight
 
ExecutionStatedata
 
ref< Exprcondition
 

Private Member Functions

 PTreeNode (PTreeNode *_parent, ExecutionState *_data)
 
 ~PTreeNode ()
 

Friends

class PTree
 

Detailed Description

Definition at line 36 of file PTree.h.

Constructor & Destructor Documentation

PTreeNode::PTreeNode ( PTreeNode _parent,
ExecutionState _data 
)
private

Definition at line 91 of file PTree.cpp.

PTreeNode::~PTreeNode ( )
private

Definition at line 100 of file PTree.cpp.

Friends And Related Function Documentation

friend class PTree
friend

Definition at line 37 of file PTree.h.

Member Data Documentation

ref<Expr> klee::PTreeNode::condition

Definition at line 41 of file PTree.h.

ExecutionState* klee::PTreeNode::data

Definition at line 40 of file PTree.h.

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

PTreeNode * klee::PTreeNode::left

Definition at line 39 of file PTree.h.

PTreeNode* klee::PTreeNode::parent

Definition at line 39 of file PTree.h.

PTreeNode * klee::PTreeNode::right

Definition at line 39 of file PTree.h.


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