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

#include <Statistic.h>

Public Member Functions

 Statistic (const std::string &_name, const std::string &_shortName)
 
 ~Statistic ()
 
unsigned getID ()
 getID - Get the unique statistic ID. More...
 
const std::string & getName () const
 getName - Get the statistic name. More...
 
const std::string & getShortName () const
 
uint64_t getValue () const
 getValue - Get the current primary statistic value. More...
 
 operator uint64_t () const
 operator uint64_t - Get the current primary statistic value. More...
 
Statisticoperator++ ()
 operator++ - Increment the statistic by 1. More...
 
Statisticoperator+= (const uint64_t addend)
 operator+= - Increment the statistic by More...
 

Private Attributes

unsigned id
 
const std::string name
 
const std::string shortName
 

Friends

class StatisticManager
 
class StatisticRecord
 

Detailed Description

Statistic - A named statistic instance.

The Statistic class holds information about the statistic, but not the actual values. Values are managed by the global StatisticManager to enable transparent support for instruction level and call path level statistics.

Definition at line 28 of file Statistic.h.

Constructor & Destructor Documentation

Statistic::Statistic ( const std::string &  _name,
const std::string &  _shortName 
)

Definition at line 67 of file Statistics.cpp.

References getStatisticManager(), and klee::StatisticManager::registerStatistic().

Here is the call graph for this function:

Statistic::~Statistic ( )

Definition at line 74 of file Statistics.cpp.

Member Function Documentation

unsigned klee::Statistic::getID ( )
inline

getID - Get the unique statistic ID.

Definition at line 43 of file Statistic.h.

References id.

const std::string& klee::Statistic::getName ( ) const
inline

getName - Get the statistic name.

Definition at line 46 of file Statistic.h.

References name.

Referenced by klee::StatsTracker::writeIStats().

Here is the caller graph for this function:

const std::string& klee::Statistic::getShortName ( ) const
inline

getShortName - Get the "short" statistic name, used in callgrind output for example.

Definition at line 50 of file Statistic.h.

References shortName.

Referenced by klee::StatsTracker::writeIStats().

Here is the caller graph for this function:

uint64_t Statistic::getValue ( ) const

getValue - Get the current primary statistic value.

Definition at line 82 of file Statistics.cpp.

References klee::StatisticManager::getValue(), and klee::theStatisticManager.

Referenced by operator uint64_t(), and QueryLoggingSolver::startQuery().

Here is the call graph for this function:

Here is the caller graph for this function:

klee::Statistic::operator uint64_t ( ) const
inline

operator uint64_t - Get the current primary statistic value.

Definition at line 56 of file Statistic.h.

References getValue().

Here is the call graph for this function:

Statistic& klee::Statistic::operator++ ( )
inline

operator++ - Increment the statistic by 1.

Definition at line 59 of file Statistic.h.

Statistic & Statistic::operator+= ( const uint64_t  addend)

operator+= - Increment the statistic by

  • addend.

Definition at line 77 of file Statistics.cpp.

References klee::StatisticManager::incrementStatistic(), and klee::theStatisticManager.

Here is the call graph for this function:

Friends And Related Function Documentation

friend class StatisticManager
friend

Definition at line 29 of file Statistic.h.

friend class StatisticRecord
friend

Definition at line 30 of file Statistic.h.

Member Data Documentation

const std::string klee::Statistic::name
private

Definition at line 34 of file Statistic.h.

Referenced by getName().

const std::string klee::Statistic::shortName
private

Definition at line 35 of file Statistic.h.

Referenced by getShortName().


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