klee::DFSSearcher Class Reference

#include <Searcher.h>

Inheritance diagram for klee::DFSSearcher:

[legend]

Collaboration diagram for klee::DFSSearcher:

[legend]

List of all members.

Public Member Functions
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
std::vector< ExecutionState * >	states

---

Detailed Description

Definition at line 71 of file Searcher.h.

---

Member Function Documentation

bool klee::DFSSearcher::empty

(

)

[inline, virtual]

Implements klee::Searcher.

Definition at line 79 of file Searcher.h.

References states.

void klee::DFSSearcher::printName

(

std::ostream &

os

)

[inline, virtual]

Reimplemented from klee::Searcher.

Definition at line 80 of file Searcher.h.

ExecutionState & DFSSearcher::selectState

(

)

[virtual]

Implements klee::Searcher.

Definition at line 57 of file Searcher.cpp.

References states.

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

Implements klee::Searcher.

Definition at line 61 of file Searcher.cpp.

References states.

---

Member Data Documentation

std::vector<ExecutionState*> klee::DFSSearcher::states [private]

Definition at line 72 of file Searcher.h.

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

---

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

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