klee::RandomSearcher Class Reference
#include <Searcher.h>
Inheritance diagram for klee::RandomSearcher:
Collaboration diagram for klee::RandomSearcher:
Public Member Functions | |
| 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 | |
| std::vector< ExecutionState * > | states |
Detailed Description
Definition at line 85 of file Searcher.h.
Member Function Documentation
| bool klee::RandomSearcher::empty | ( | ) | [inline, virtual] |
| void klee::RandomSearcher::printName | ( | std::ostream & | os | ) | [inline, virtual] |
| ExecutionState & RandomSearcher::selectState | ( | ) | [virtual] |
Implements klee::Searcher.
Definition at line 91 of file Searcher.cpp.
References klee::RNG::getInt32(), states, and klee::theRNG.
Here is the call graph for this function:
| void RandomSearcher::update | ( | ExecutionState * | current, | |
| const std::set< ExecutionState * > & | addedStates, | |||
| const std::set< ExecutionState * > & | removedStates | |||
| ) | [virtual] |
Member Data Documentation
std::vector<ExecutionState*> klee::RandomSearcher::states [private] |
The documentation for this class was generated from the following files:
- lib/Core/Searcher.h
- lib/Core/Searcher.cpp
