klee::BatchingSearcher Class Reference

#include <Searcher.h>

Inheritance diagram for klee::BatchingSearcher:

[legend]

Collaboration diagram for klee::BatchingSearcher:

[legend]

List of all members.

Public Member Functions
	BatchingSearcher (Searcher *baseSearcher, double _timeBudget, unsigned _instructionBudget)
	~BatchingSearcher ()
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
Searcher *	baseSearcher
double	timeBudget
unsigned	instructionBudget
ExecutionState *	lastState
double	lastStartTime
unsigned	lastStartInstructions

---

Detailed Description

Definition at line 204 of file Searcher.h.

---

Constructor & Destructor Documentation

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

Definition at line 457 of file Searcher.cpp.

BatchingSearcher::~BatchingSearcher

(

)

Definition at line 467 of file Searcher.cpp.

References baseSearcher.

---

Member Function Documentation

bool klee::BatchingSearcher::empty

(

)

[inline, virtual]

Implements klee::Searcher.

Definition at line 223 of file Searcher.h.

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

Here is the call graph for this function:

void klee::BatchingSearcher::printName

(

std::ostream &

os

)

[inline, virtual]

Reimplemented from klee::Searcher.

Definition at line 224 of file Searcher.h.

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

Here is the call graph for this function:

ExecutionState & BatchingSearcher::selectState

(

)

[virtual]

Implements klee::Searcher.

Definition at line 471 of file Searcher.cpp.

References baseSearcher, klee::util::getWallTime(), instructionBudget, klee::stats::instructions, lastStartInstructions, lastStartTime, lastState, klee::Searcher::selectState(), and timeBudget.

Here is the call graph for this function:

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

Implements klee::Searcher.

Definition at line 491 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 205 of file Searcher.h.

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

unsigned klee::BatchingSearcher::instructionBudget [private]

Definition at line 207 of file Searcher.h.

Referenced by printName(), and selectState().

unsigned klee::BatchingSearcher::lastStartInstructions [private]

Definition at line 211 of file Searcher.h.

Referenced by selectState().

double klee::BatchingSearcher::lastStartTime [private]

Definition at line 210 of file Searcher.h.

Referenced by selectState().

ExecutionState* klee::BatchingSearcher::lastState [private]

Definition at line 209 of file Searcher.h.

Referenced by selectState(), and update().

double klee::BatchingSearcher::timeBudget [private]

Definition at line 206 of file Searcher.h.

Referenced by printName(), and selectState().

---

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

• lib/Core/Searcher.h
• lib/Core/Searcher.cpp