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

#include <QueryLog.h>

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 ( )

Definition at line 51 of file QueryLog.h.

klee::QueryLogResult::QueryLogResult ( bool  _success,
uint64_t  _result,
double  _time 

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: