klee
Public Member Functions | Public Attributes | Private Attributes | List of all members
klee::PTree Class Reference

#include <PTree.h>

Public Member Functions

 PTree (ExecutionState *initialState)
 
 ~PTree ()=default
 
void attach (PTreeNode *node, ExecutionState *leftState, ExecutionState *rightState, BranchType reason)
 
void remove (PTreeNode *node)
 
void dump (llvm::raw_ostream &os)
 
std::uint8_t getNextId ()
 

Public Attributes

PTreeNodePtr root
 

Private Attributes

int registeredIds = 0
 

Detailed Description

Definition at line 42 of file PTree.h.

Constructor & Destructor Documentation

◆ PTree()

PTree::PTree ( ExecutionState *  initialState)
explicit

Definition at line 34 of file PTree.cpp.

References klee::ExecutionState::ptreeNode, and root.

◆ ~PTree()

klee::PTree::~PTree ( )
default

Member Function Documentation

◆ attach()

void PTree::attach ( PTreeNode *  node,
ExecutionState *  leftState,
ExecutionState *  rightState,
BranchType  reason 
)

Definition at line 39 of file PTree.cpp.

References klee::PTreeNode::left, klee::PTreeNode::parent, klee::ExecutionState::ptreeNode, klee::PTreeNode::right, root, and klee::PTreeNode::state.

◆ dump()

void PTree::dump ( llvm::raw_ostream &  os)

Definition at line 95 of file PTree.cpp.

References klee::ExprPPrinter::create(), klee::PTreeNode::left, klee::PTreeNode::right, root, klee::ExprPPrinter::setNewline(), and klee::PTreeNode::state.

Here is the call graph for this function:

◆ getNextId()

std::uint8_t klee::PTree::getNextId ( )
inline

Definition at line 55 of file PTree.h.

References klee::klee_error(), klee::PtrBitCount, and registeredIds.

Here is the call graph for this function:

◆ remove()

void PTree::remove ( PTreeNode *  node)

Definition at line 55 of file PTree.cpp.

References klee::PTreeNode::left, klee::PTreeNode::parent, klee::PTreeNode::right, and root.

Member Data Documentation

◆ registeredIds

int klee::PTree::registeredIds = 0
private

Definition at line 44 of file PTree.h.

Referenced by getNextId().

◆ root

PTreeNodePtr klee::PTree::root

Definition at line 47 of file PTree.h.

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

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