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

#include <PTree.h>

Public Types

typedef class PTreeNode Node

Public Member Functions

 PTree (const data_type &_root)
 ~PTree ()
std::pair< Node *, Node * > split (Node *n, const data_type &leftData, const data_type &rightData)
void remove (Node *n)
void dump (llvm::raw_ostream &os)

Public Attributes


Private Types

typedef ExecutionStatedata_type

Detailed Description

Definition at line 18 of file PTree.h.

Member Typedef Documentation

Definition at line 19 of file PTree.h.

Definition at line 22 of file PTree.h.

Constructor & Destructor Documentation

PTree::PTree ( const data_type _root)

Definition at line 21 of file PTree.cpp.

PTree::~PTree ( )

Definition at line 24 of file PTree.cpp.

Member Function Documentation

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

Definition at line 53 of file PTree.cpp.

References klee::ExprPPrinter::create(), klee::ExprPPrinter::print(), root, and klee::ExprPPrinter::setNewline().

Here is the call graph for this function:

void PTree::remove ( Node n)

Definition at line 36 of file PTree.cpp.

Referenced by klee::Executor::terminateState(), and klee::Executor::updateStates().

Here is the caller graph for this function:

std::pair< PTreeNode *, PTreeNode * > PTree::split ( Node n,
const data_type leftData,
const data_type rightData 

Definition at line 27 of file PTree.cpp.

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

Here is the caller graph for this function:

Member Data Documentation

Node* klee::PTree::root

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