CVC3::Statistics Class Reference

#include <statistics.h>

Collaboration diagram for CVC3::Statistics:

[legend]List of all members.

Public Member Functions

• Statistics ()
• ~Statistics ()
• StatFlag flag (const std::string &name)
• StatCounter counter (const std::string &name)
• std::ostream & printAll (std::ostream &os) const

Private Types

• typedef std::map< std::string,
  bool > StatFlagMap
• typedef std::map< std::string,
  int > StatCounterMap

Private Attributes

• std::ostream * d_os
• StatFlagMap d_flags
• StatCounterMap d_counters

Friends

• std::ostream & operator<< (std::ostream &os, const Statistics &stats)

---

Detailed Description

Definition at line 146 of file statistics.h.

---

Member Typedef Documentation

typedef std::map<std::string, bool> CVC3::Statistics::StatFlagMap [private]

Definition at line 150 of file statistics.h.

typedef std::map<std::string, int> CVC3::Statistics::StatCounterMap [private]

Definition at line 151 of file statistics.h.

---

Constructor & Destructor Documentation

CVC3::Statistics::Statistics

(

)

[inline]

Definition at line 156 of file statistics.h.

CVC3::Statistics::~Statistics

(

)

[inline]

Definition at line 158 of file statistics.h.

---

Member Function Documentation

StatFlag CVC3::Statistics::flag

(

const std::string &

name

)

[inline]

Definition at line 161 of file statistics.h.

References d_flags.

StatCounter CVC3::Statistics::counter

(

const std::string &

name

)

[inline]

Definition at line 163 of file statistics.h.

References d_counters.

Referenced by CVC3::SearchImplBase::addToCNFCache(), SAT::CNF_Manager::convertLemma(), CVC3::SearchImplBase::findInCNFCache(), and CVC3::SearchEngineFast::split().

ostream & CVC3::Statistics::printAll

(

std::ostream &

os

)

const

Definition at line 32 of file statistics.cpp.

References d_counters, d_flags, and std::endl().

---

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const Statistics &	stats
	)			[friend]

Definition at line 168 of file statistics.h.

---

Member Data Documentation

std::ostream* CVC3::Statistics::d_os [private]

Definition at line 149 of file statistics.h.

StatFlagMap CVC3::Statistics::d_flags [private]

Definition at line 152 of file statistics.h.

Referenced by flag(), and printAll().

StatCounterMap CVC3::Statistics::d_counters [private]

Definition at line 153 of file statistics.h.

Referenced by counter(), and printAll().

---

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

• statistics.h
• statistics.cpp

---