CexCachingSolver.cpp File Reference

#include "klee/Solver.h"
#include "klee/Constraints.h"
#include "klee/Expr.h"
#include "klee/SolverImpl.h"
#include "klee/TimerStatIncrementer.h"
#include "klee/util/Assignment.h"
#include "klee/util/ExprUtil.h"
#include "klee/util/ExprVisitor.h"
#include "klee/Internal/ADT/MapOfSets.h"
#include "SolverStats.h"
#include "llvm/Support/CommandLine.h"

Include dependency graph for CexCachingSolver.cpp:

Go to the source code of this file.

Classes
struct	AssignmentLessThan
class	CexCachingSolver
struct	NullAssignment
struct	NonNullAssignment
struct	NullOrSatisfyingAssignment
Typedefs
typedef std::set< ref< Expr > >	KeyType

---

Typedef Documentation

typedef std::set< ref<Expr> > KeyType

Definition at line 44 of file CexCachingSolver.cpp.