klee::QueryLogResult Class Reference

#include <QueryLog.h>

List of all members.

Public Member Functions
	QueryLogResult ()
	QueryLogResult (bool _success, uint64_t _result, double _time)
Public Attributes
uint64_t	result
double	time

---

Detailed Description

Definition at line 45 of file QueryLog.h.

---

Constructor & Destructor Documentation

klee::QueryLogResult::QueryLogResult

(

)

[inline]

Definition at line 51 of file QueryLog.h.

klee::QueryLogResult::QueryLogResult	(	bool	_success,
		uint64_t	_result,
		double	_time
	)			[inline]

Definition at line 52 of file QueryLog.h.

References result, and time.

---

Member Data Documentation

uint64_t klee::QueryLogResult::result

Definition at line 47 of file QueryLog.h.

Referenced by QueryLogResult().

double klee::QueryLogResult::time

Definition at line 48 of file QueryLog.h.

Referenced by QueryLogResult().

---

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

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