klee::Statistic Class Reference

#include <Statistic.h>

List of all members.

Public Member Functions
	Statistic (const std::string &_name, const std::string &_shortName)
	~Statistic ()
unsigned	getID ()
	getID - Get the unique statistic ID.
const std::string &	getName () const
	getName - Get the statistic name.
const std::string &	getShortName () const
uint64_t	getValue () const
	getValue - Get the current primary statistic value.
	operator uint64_t () const
	operator uint64_t - Get the current primary statistic value.
Statistic &	operator++ ()
	operator++ - Increment the statistic by 1.
Statistic &	operator+= (const uint64_t addend)
	operator+= - Increment the statistic by
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 27 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 42 of file Statistic.h.

References id.

const std::string& klee::Statistic::getName

(

)

const [inline]

getName - Get the statistic name.

Definition at line 45 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 49 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 PCLoggingSolver::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 55 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 58 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 28 of file Statistic.h.

friend class StatisticRecord [friend]

Definition at line 29 of file Statistic.h.

---

Member Data Documentation

unsigned klee::Statistic::id [private]

Definition at line 32 of file Statistic.h.

Referenced by getID(), klee::StatisticManager::getIndexedValue(), klee::StatisticManager::getValue(), klee::StatisticRecord::getValue(), klee::StatisticManager::incrementIndexedValue(), klee::StatisticManager::incrementStatistic(), klee::StatisticRecord::incrementValue(), klee::Executor::processTimers(), klee::StatisticManager::registerStatistic(), and klee::StatisticManager::setIndexedValue().

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

Definition at line 33 of file Statistic.h.

Referenced by getName().

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

Definition at line 34 of file Statistic.h.

Referenced by getShortName().

---

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

• include/klee/Statistic.h
• lib/Basic/Statistics.cpp