klee::IterativeDeepeningTimeSearcher Class Reference

#include <Searcher.h>

Inheritance diagram for klee::IterativeDeepeningTimeSearcher:

[legend]

Collaboration diagram for klee::IterativeDeepeningTimeSearcher:

[legend]

List of all members.

Public Member Functions
	IterativeDeepeningTimeSearcher (Searcher *baseSearcher)
	~IterativeDeepeningTimeSearcher ()
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	time
double	startTime
std::set< ExecutionState * >	pausedStates

---

Detailed Description

Definition at line 233 of file Searcher.h.

---

Constructor & Destructor Documentation

IterativeDeepeningTimeSearcher::IterativeDeepeningTimeSearcher

(

Searcher *

baseSearcher

)

Definition at line 501 of file Searcher.cpp.

IterativeDeepeningTimeSearcher::~IterativeDeepeningTimeSearcher

(

)

Definition at line 506 of file Searcher.cpp.

References baseSearcher.

---

Member Function Documentation

bool klee::IterativeDeepeningTimeSearcher::empty

(

)

[inline, virtual]

Implements klee::Searcher.

Definition at line 246 of file Searcher.h.

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

Here is the call graph for this function:

void klee::IterativeDeepeningTimeSearcher::printName

(

std::ostream &

os

)

[inline, virtual]

Reimplemented from klee::Searcher.

Definition at line 247 of file Searcher.h.

ExecutionState & IterativeDeepeningTimeSearcher::selectState

(

)

[virtual]

Implements klee::Searcher.

Definition at line 510 of file Searcher.cpp.

References baseSearcher, klee::util::getWallTime(), klee::Searcher::selectState(), and startTime.

Here is the call graph for this function:

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

Implements klee::Searcher.

Definition at line 516 of file Searcher.cpp.

References baseSearcher, klee::Searcher::empty(), klee::util::getWallTime(), pausedStates, klee::Searcher::removeState(), startTime, time, and klee::Searcher::update().

Here is the call graph for this function:

---

Member Data Documentation

Searcher* klee::IterativeDeepeningTimeSearcher::baseSearcher [private]

Definition at line 234 of file Searcher.h.

Referenced by empty(), selectState(), update(), and ~IterativeDeepeningTimeSearcher().

std::set<ExecutionState*> klee::IterativeDeepeningTimeSearcher::pausedStates [private]

Definition at line 236 of file Searcher.h.

Referenced by empty(), and update().

double klee::IterativeDeepeningTimeSearcher::startTime [private]

Definition at line 235 of file Searcher.h.

Referenced by selectState(), and update().

double klee::IterativeDeepeningTimeSearcher::time [private]

Definition at line 235 of file Searcher.h.

Referenced by update().

---

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

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