All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::QueryLogEntry Class Reference

#include <QueryLog.h>

Collaboration diagram for klee::QueryLogEntry:

Public Types

enum  Type { Validity, Truth, Value, Cex }
typedef std::vector< ref< Expr > > exprs_ty

Public Member Functions

 QueryLogEntry ()
 QueryLogEntry (const QueryLogEntry &b)
 QueryLogEntry (const Query &_query, Type _type, const std::vector< const Array * > *objects=0)

Public Attributes

exprs_ty exprs
Type type
ref< Exprquery
unsigned instruction
std::vector< const Array * > objects

Detailed Description

Definition at line 20 of file QueryLog.h.

Member Typedef Documentation

typedef std::vector< ref<Expr> > klee::QueryLogEntry::exprs_ty

Definition at line 29 of file QueryLog.h.

Member Enumeration Documentation


Definition at line 22 of file QueryLog.h.

Constructor & Destructor Documentation

klee::QueryLogEntry::QueryLogEntry ( )

Definition at line 38 of file QueryLog.h.

klee::QueryLogEntry::QueryLogEntry ( const QueryLogEntry b)
klee::QueryLogEntry::QueryLogEntry ( const Query _query,
Type  _type,
const std::vector< const Array * > *  objects = 0 

Member Data Documentation

exprs_ty klee::QueryLogEntry::exprs

Definition at line 30 of file QueryLog.h.

unsigned klee::QueryLogEntry::instruction

Definition at line 34 of file QueryLog.h.

std::vector<const Array*> klee::QueryLogEntry::objects

Definition at line 35 of file QueryLog.h.

ref<Expr> klee::QueryLogEntry::query

Definition at line 33 of file QueryLog.h.

Type klee::QueryLogEntry::type

Definition at line 32 of file QueryLog.h.

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