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

#include <Statistics.h>

Public Member Functions

 StatisticRecord ()
 
 StatisticRecord (const StatisticRecord &s)
 
 ~StatisticRecord ()
 
void zero ()
 
uint64_t getValue (const Statistic &s) const
 
void incrementValue (const Statistic &s, uint64_t addend) const
 
StatisticRecordoperator= (const StatisticRecord &s)
 
StatisticRecordoperator+= (const StatisticRecord &sr)
 

Private Attributes

uint64_t * data
 

Friends

class StatisticManager
 

Detailed Description

Definition at line 21 of file Statistics.h.

Constructor & Destructor Documentation

klee::StatisticRecord::StatisticRecord ( )
inline

Definition at line 99 of file Statistics.h.

References zero().

Here is the call graph for this function:

klee::StatisticRecord::StatisticRecord ( const StatisticRecord s)
inline

Definition at line 104 of file Statistics.h.

References data, klee::StatisticManager::getNumStatistics(), and klee::theStatisticManager.

Here is the call graph for this function:

klee::StatisticRecord::~StatisticRecord ( )
inline

Definition at line 30 of file Statistics.h.

References data.

Member Function Documentation

uint64_t klee::StatisticRecord::getValue ( const Statistic s) const
inline

Definition at line 120 of file Statistics.h.

References data, and klee::Statistic::id.

Referenced by klee::Executor::fork(), klee::WeightedRandomSearcher::getWeight(), klee::Executor::processTimers(), and klee::StatsTracker::writeIStats().

Here is the caller graph for this function:

void klee::StatisticRecord::incrementValue ( const Statistic s,
uint64_t  addend 
) const
inline

Definition at line 116 of file Statistics.h.

References data, and klee::Statistic::id.

StatisticRecord & klee::StatisticRecord::operator+= ( const StatisticRecord sr)
inline

Definition at line 125 of file Statistics.h.

References data, klee::StatisticManager::getNumStatistics(), and klee::theStatisticManager.

Here is the call graph for this function:

StatisticRecord & klee::StatisticRecord::operator= ( const StatisticRecord s)
inline

Definition at line 110 of file Statistics.h.

References data, klee::StatisticManager::getNumStatistics(), and klee::theStatisticManager.

Here is the call graph for this function:

void klee::StatisticRecord::zero ( )
inline

Definition at line 95 of file Statistics.h.

References data, klee::StatisticManager::getNumStatistics(), and klee::theStatisticManager.

Referenced by StatisticRecord().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class StatisticManager
friend

Definition at line 22 of file Statistics.h.

Member Data Documentation

uint64_t* klee::StatisticRecord::data
private

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