klee::RandomPathSearcher Class Reference
#include <Searcher.h>
Inheritance diagram for klee::RandomPathSearcher:
Collaboration diagram for klee::RandomPathSearcher:
Public Member Functions | |
| RandomPathSearcher (Executor &_executor) | |
| ~RandomPathSearcher () | |
| ExecutionState & | selectState () |
| void | update (ExecutionState *current, const std::set< ExecutionState * > &addedStates, const std::set< ExecutionState * > &removedStates) |
| bool | empty () |
| void | printName (std::ostream &os) |
Private Attributes | |
| Executor & | executor |
Detailed Description
Definition at line 141 of file Searcher.h.
Constructor & Destructor Documentation
| RandomPathSearcher::RandomPathSearcher | ( | Executor & | _executor | ) |
Definition at line 211 of file Searcher.cpp.
| RandomPathSearcher::~RandomPathSearcher | ( | ) |
Definition at line 215 of file Searcher.cpp.
Member Function Documentation
| bool RandomPathSearcher::empty | ( | ) | [virtual] |
Implements klee::Searcher.
Definition at line 245 of file Searcher.cpp.
References executor, and klee::Executor::states.
| void klee::RandomPathSearcher::printName | ( | std::ostream & | os | ) | [inline, virtual] |
| ExecutionState & RandomPathSearcher::selectState | ( | ) | [virtual] |
Implements klee::Searcher.
Definition at line 218 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 | |||
| ) | [virtual] |
Member Data Documentation
Executor& klee::RandomPathSearcher::executor [private] |
The documentation for this class was generated from the following files:
- lib/Core/Searcher.h
- lib/Core/Searcher.cpp
