Solver.h File Reference

#include "klee/Expr/Expr.h"
#include "klee/System/Time.h"
#include "klee/Solver/SolverCmdLine.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::SolverQueryMetaData
struct	klee::Query
class	klee::Solver

Namespaces
namespace	klee

Functions
Solver *	klee::createValidatingSolver (Solver *s, Solver *oracle)
Solver *	klee::createAssignmentValidatingSolver (Solver *s)
Solver *	klee::createCachingSolver (Solver *s)
Solver *	klee::createCexCachingSolver (Solver *s)
Solver *	klee::createFastCexSolver (Solver *s)
Solver *	klee::createIndependentSolver (Solver *s)
Solver *	klee::createKQueryLoggingSolver (Solver *s, std::string path, time::Span minQueryTimeToLog, bool logTimedOut)
Solver *	klee::createSMTLIBLoggingSolver (Solver *s, std::string path, time::Span minQueryTimeToLog, bool logTimedOut)
Solver *	klee::createDummySolver ()
Solver *	klee::createCoreSolver (CoreSolverType cst)