klee::QueryLogEntry Class Reference

#include <QueryLog.h>

Collaboration diagram for klee::QueryLogEntry:

[legend]

List of all members.

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< Expr >	query
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

enum klee::QueryLogEntry::Type

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:

• include/klee/Internal/Support/QueryLog.h