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

#include <Searcher.h>

Inheritance diagram for klee::InterleavedSearcher:
Collaboration diagram for klee::InterleavedSearcher:

Public Member Functions

 InterleavedSearcher (const searchers_ty &_searchers)
 
 ~InterleavedSearcher ()
 
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 Types

typedef std::vector< Searcher * > searchers_ty
 

Private Attributes

searchers_ty searchers
 
unsigned index
 

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 277 of file Searcher.h.

Member Typedef Documentation

typedef std::vector<Searcher*> klee::InterleavedSearcher::searchers_ty
private

Definition at line 278 of file Searcher.h.

Constructor & Destructor Documentation

InterleavedSearcher::InterleavedSearcher ( const searchers_ty _searchers)
explicit

Definition at line 590 of file Searcher.cpp.

InterleavedSearcher::~InterleavedSearcher ( )

Definition at line 595 of file Searcher.cpp.

References searchers.

Member Function Documentation

bool klee::InterleavedSearcher::empty ( )
inlinevirtual

Implements klee::Searcher.

Definition at line 291 of file Searcher.h.

References searchers.

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

Reimplemented from klee::Searcher.

Definition at line 292 of file Searcher.h.

References searchers.

ExecutionState & InterleavedSearcher::selectState ( )
virtual

Implements klee::Searcher.

Definition at line 601 of file Searcher.cpp.

References index, searchers, and klee::Searcher::selectState().

Here is the call graph for this function:

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

Implements klee::Searcher.

Definition at line 607 of file Searcher.cpp.

References searchers.

Member Data Documentation

unsigned klee::InterleavedSearcher::index
private

Definition at line 281 of file Searcher.h.

Referenced by selectState().

searchers_ty klee::InterleavedSearcher::searchers
private

Definition at line 280 of file Searcher.h.

Referenced by empty(), printName(), selectState(), update(), and ~InterleavedSearcher().


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