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

#include <CallPathManager.h>

Collaboration diagram for klee::CallPathNode:

Public Types

typedef std::map< std::pair
< llvm::Instruction
*, llvm::Function * >
, CallPathNode * > 

Public Member Functions

 CallPathNode (CallPathNode *parent, llvm::Instruction *callSite, llvm::Function *function)
void print ()

Public Attributes

llvm::Instruction * callSite
llvm::Function * function
children_ty children
StatisticRecord statistics
StatisticRecord summaryStatistics
unsigned count


class CallPathManager

Detailed Description

Definition at line 37 of file CallPathManager.h.

Member Typedef Documentation

typedef std::map<std::pair<llvm::Instruction*, llvm::Function*>, CallPathNode*> klee::CallPathNode::children_ty

Definition at line 42 of file CallPathManager.h.

Constructor & Destructor Documentation

CallPathNode::CallPathNode ( CallPathNode parent,
llvm::Instruction *  callSite,
llvm::Function *  function 

Definition at line 29 of file CallPathManager.cpp.

Member Function Documentation

void CallPathNode::print ( )

Definition at line 38 of file CallPathManager.cpp.

References callSite, count, parent, and print().

Referenced by print().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class CallPathManager

Definition at line 38 of file CallPathManager.h.

Member Data Documentation

llvm::Instruction* klee::CallPathNode::callSite

Definition at line 46 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics(), and print().

children_ty klee::CallPathNode::children

Definition at line 48 of file CallPathManager.h.

Referenced by klee::CallPathManager::getCallPath().

unsigned klee::CallPathNode::count
llvm::Function* klee::CallPathNode::function

Definition at line 47 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics().

CallPathNode* klee::CallPathNode::parent
StatisticRecord klee::CallPathNode::summaryStatistics

Definition at line 51 of file CallPathManager.h.

Referenced by klee::CallPathManager::getSummaryStatistics().

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