klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::Searcher Class Referenceabstract

#include <Searcher.h>

Inheritance diagram for klee::Searcher:

Public Types

enum  CoreSearchType {
  DFS, BFS, RandomState, RandomPath,
  NURS_CovNew, NURS_MD2U, NURS_Depth, NURS_ICnt,
  NURS_CPICnt, NURS_QC
}
 

Public Member Functions

virtual ~Searcher ()
 
virtual ExecutionStateselectState ()=0
 
virtual void update (ExecutionState *current, const std::set< ExecutionState * > &addedStates, const std::set< ExecutionState * > &removedStates)=0
 
virtual bool empty ()=0
 
virtual void printName (llvm::raw_ostream &os)
 
virtual void activate ()
 
virtual void deactivate ()
 
void addState (ExecutionState *es, ExecutionState *current=0)
 
void removeState (ExecutionState *es, ExecutionState *current=0)
 

Detailed Description

Definition at line 31 of file Searcher.h.

Member Enumeration Documentation

Enumerator
DFS 
BFS 
RandomState 
RandomPath 
NURS_CovNew 
NURS_MD2U 
NURS_Depth 
NURS_ICnt 
NURS_CPICnt 
NURS_QC 

Definition at line 69 of file Searcher.h.

Constructor & Destructor Documentation

Searcher::~Searcher ( )
virtual

Definition at line 57 of file Searcher.cpp.

Member Function Documentation

virtual void klee::Searcher::activate ( )
inlinevirtual

Definition at line 52 of file Searcher.h.

void klee::Searcher::addState ( ExecutionState es,
ExecutionState current = 0 
)
inline

Definition at line 57 of file Searcher.h.

References update().

Referenced by klee::MergingSearcher::selectState(), and klee::BumpMergingSearcher::selectState().

Here is the call graph for this function:

Here is the caller graph for this function:

virtual void klee::Searcher::deactivate ( )
inlinevirtual

Definition at line 53 of file Searcher.h.

virtual void klee::Searcher::printName ( llvm::raw_ostream &  os)
inlinevirtual
void klee::Searcher::removeState ( ExecutionState es,
ExecutionState current = 0 
)
inline

Definition at line 63 of file Searcher.h.

References update().

Referenced by klee::MergingSearcher::selectState(), klee::BumpMergingSearcher::selectState(), and klee::IterativeDeepeningTimeSearcher::update().

Here is the call graph for this function:

Here is the caller graph for this function:


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