klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
UserSearcher.h
Go to the documentation of this file.
1 //===-- UserSearcher.h ------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_USERSEARCHER_H
11 #define KLEE_USERSEARCHER_H
12 
13 namespace klee {
14  class Executor;
15  class Searcher;
16 
17  // XXX gross, should be on demand?
19 
20  Searcher *constructUserSearcher(Executor &executor);
21 }
22 
23 #endif
Searcher * constructUserSearcher(Executor &executor)
bool userSearcherRequiresMD2U()