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

#include <Searcher.h>

Inheritance diagram for klee::BFSSearcher:
Collaboration diagram for klee::BFSSearcher:

Public Member Functions

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

std::deque< ExecutionState * > states
 

Additional Inherited Members

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

Detailed Description

Definition at line 97 of file Searcher.h.

Member Function Documentation

bool klee::BFSSearcher::empty ( )
inlinevirtual

Implements klee::Searcher.

Definition at line 105 of file Searcher.h.

References states.

void klee::BFSSearcher::printName ( llvm::raw_ostream &  os)
inlinevirtual

Reimplemented from klee::Searcher.

Definition at line 106 of file Searcher.h.

ExecutionState & BFSSearcher::selectState ( )
virtual

Implements klee::Searcher.

Definition at line 96 of file Searcher.cpp.

References klee::stats::states.

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

Implements klee::Searcher.

Definition at line 100 of file Searcher.cpp.

References klee::stats::states.

Member Data Documentation

std::deque<ExecutionState*> klee::BFSSearcher::states
private

Definition at line 98 of file Searcher.h.

Referenced by empty().


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