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

#include <Searcher.h>

Inheritance diagram for klee::BatchingSearcher:
Collaboration diagram for klee::BatchingSearcher:

Public Member Functions

 BatchingSearcher (Searcher *baseSearcher, double _timeBudget, unsigned _instructionBudget)
 
 ~BatchingSearcher ()
 
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

SearcherbaseSearcher
 
double timeBudget
 
unsigned instructionBudget
 
ExecutionStatelastState
 
double lastStartTime
 
unsigned lastStartInstructions
 

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

Constructor & Destructor Documentation

BatchingSearcher::BatchingSearcher ( Searcher baseSearcher,
double  _timeBudget,
unsigned  _instructionBudget 
)

Definition at line 494 of file Searcher.cpp.

BatchingSearcher::~BatchingSearcher ( )

Definition at line 504 of file Searcher.cpp.

References baseSearcher.

Member Function Documentation

bool klee::BatchingSearcher::empty ( )
inlinevirtual

Implements klee::Searcher.

Definition at line 248 of file Searcher.h.

References baseSearcher, and klee::Searcher::empty().

Here is the call graph for this function:

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

Reimplemented from klee::Searcher.

Definition at line 249 of file Searcher.h.

References baseSearcher, instructionBudget, klee::Searcher::printName(), and timeBudget.

Here is the call graph for this function:

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

Implements klee::Searcher.

Definition at line 529 of file Searcher.cpp.

References baseSearcher, lastState, and klee::Searcher::update().

Here is the call graph for this function:

Member Data Documentation

Searcher* klee::BatchingSearcher::baseSearcher
private

Definition at line 230 of file Searcher.h.

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

unsigned klee::BatchingSearcher::instructionBudget
private

Definition at line 232 of file Searcher.h.

Referenced by printName(), and selectState().

unsigned klee::BatchingSearcher::lastStartInstructions
private

Definition at line 236 of file Searcher.h.

Referenced by selectState().

double klee::BatchingSearcher::lastStartTime
private

Definition at line 235 of file Searcher.h.

Referenced by selectState().

ExecutionState* klee::BatchingSearcher::lastState
private

Definition at line 234 of file Searcher.h.

Referenced by selectState(), and update().

double klee::BatchingSearcher::timeBudget
private

Definition at line 231 of file Searcher.h.

Referenced by printName(), and selectState().


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