CVC3::DebugTime Class Reference

List of all members.

Public Member Functions

• DebugTime ()
• DebugTime (const clock_t &clock)
• void reset ()
• DebugTime & operator+= (const DebugTime &t)
• DebugTime & operator-= (const DebugTime &t)

Public Attributes

• clock_t d_clock

Friends

• bool operator== (const DebugTime &t1, const DebugTime &t2)
• bool operator!= (const DebugTime &t1, const DebugTime &t2)
• bool operator< (const DebugTime &t1, const DebugTime &t2)
• bool operator> (const DebugTime &t1, const DebugTime &t2)
• bool operator<= (const DebugTime &t1, const DebugTime &t2)
• bool operator>= (const DebugTime &t1, const DebugTime &t2)
• ostream & operator<< (ostream &os, const DebugTime &t)

---

Detailed Description

Definition at line 58 of file debug.cpp.

---

Constructor & Destructor Documentation

CVC3::DebugTime::DebugTime

(

)

[inline]

Definition at line 63 of file debug.cpp.

References d_clock.

CVC3::DebugTime::DebugTime

(

const clock_t &

clock

)

[inline]

Definition at line 66 of file debug.cpp.

---

Member Function Documentation

void CVC3::DebugTime::reset

(

)

[inline]

Definition at line 69 of file debug.cpp.

References d_clock.

Referenced by CVC3::DebugTimer::reset().

DebugTime& CVC3::DebugTime::operator+=

(

const DebugTime &

t

)

[inline]

Definition at line 74 of file debug.cpp.

References d_clock.

DebugTime& CVC3::DebugTime::operator-=

(

const DebugTime &

t

)

[inline]

Definition at line 78 of file debug.cpp.

References d_clock.

---

Friends And Related Function Documentation

bool operator==	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 105 of file debug.cpp.

bool operator!=	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 109 of file debug.cpp.

bool operator<	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 113 of file debug.cpp.

bool operator>	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 117 of file debug.cpp.

bool operator<=	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 121 of file debug.cpp.

bool operator>=	(	const DebugTime &	t1,
		const DebugTime &	t2
	)			[friend]

Definition at line 125 of file debug.cpp.

ostream& operator<<	(	ostream &	os,
		const DebugTime &	t
	)			[friend]

Definition at line 239 of file debug.cpp.

---

Member Data Documentation

clock_t CVC3::DebugTime::d_clock

Definition at line 60 of file debug.cpp.

Referenced by DebugTime(), operator+=(), operator-=(), CVC3::operator<(), CVC3::operator<<(), CVC3::operator<=(), CVC3::operator==(), CVC3::operator>(), CVC3::operator>=(), and reset().

---

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

• debug.cpp

---