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

#include <Searcher.h>

Inheritance diagram for klee::RandomPathSearcher:
Collaboration diagram for klee::RandomPathSearcher:

Public Member Functions

 RandomPathSearcher (Executor &_executor)
 ~RandomPathSearcher ()
ExecutionStateselectState ()
void update (ExecutionState *current, const std::set< ExecutionState * > &addedStates, const std::set< ExecutionState * > &removedStates)
bool empty ()
void printName (llvm::raw_ostream &os)
- Public Member Functions inherited from klee::Searcher
virtual ~Searcher ()
virtual void activate ()
virtual void deactivate ()
void addState (ExecutionState *es, ExecutionState *current=0)
void removeState (ExecutionState *es, ExecutionState *current=0)

Private Attributes


Additional Inherited Members

- Public Types inherited from klee::Searcher
enum  CoreSearchType {
  DFS, BFS, RandomState, RandomPath,
  NURS_CovNew, NURS_MD2U, NURS_Depth, NURS_ICnt,

Detailed Description

Definition at line 166 of file Searcher.h.

Constructor & Destructor Documentation

RandomPathSearcher::RandomPathSearcher ( Executor _executor)

Definition at line 248 of file Searcher.cpp.

RandomPathSearcher::~RandomPathSearcher ( )

Definition at line 252 of file Searcher.cpp.

Member Function Documentation

bool RandomPathSearcher::empty ( )

Implements klee::Searcher.

Definition at line 282 of file Searcher.cpp.

References executor, and klee::Executor::states.

void klee::RandomPathSearcher::printName ( llvm::raw_ostream &  os)

Reimplemented from klee::Searcher.

Definition at line 178 of file Searcher.h.

ExecutionState & RandomPathSearcher::selectState ( )

Implements klee::Searcher.

Definition at line 255 of file Searcher.cpp.

References executor, klee::RNG::getInt32(), klee::Executor::processTree, klee::PTree::root, and klee::theRNG.

Here is the call graph for this function:

void RandomPathSearcher::update ( ExecutionState current,
const std::set< ExecutionState * > &  addedStates,
const std::set< ExecutionState * > &  removedStates 

Implements klee::Searcher.

Definition at line 277 of file Searcher.cpp.

Member Data Documentation

Executor& klee::RandomPathSearcher::executor

Definition at line 167 of file Searcher.h.

Referenced by empty(), and selectState().

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