klee
 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

Enumerator
Validity 
Truth 
Value 
Cex 

Definition at line 22 of file QueryLog.h.

Constructor & Destructor Documentation

klee::QueryLogEntry::QueryLogEntry ( )
inline

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: