klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Solver.h File Reference
#include "klee/Expr.h"
#include <vector>
Include dependency graph for Solver.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  klee::Query
 
class  klee::Solver
 
class  klee::STPSolver
 STPSolver - A complete solver based on STP. More...
 

Namespaces

 klee
 

Functions

Solverklee::createValidatingSolver (Solver *s, Solver *oracle)
 
Solverklee::createCachingSolver (Solver *s)
 
Solverklee::createCexCachingSolver (Solver *s)
 
Solverklee::createFastCexSolver (Solver *s)
 
Solverklee::createIndependentSolver (Solver *s)
 
Solverklee::createPCLoggingSolver (Solver *s, std::string path, int minQueryTimeToLog)
 
Solverklee::createSMTLIBLoggingSolver (Solver *s, std::string path, int minQueryTimeToLog)
 
Solverklee::createDummySolver ()