cprover
time_periodt Class Reference

#include <time_stopping.h>

Inheritance diagram for time_periodt:
[legend]
Collaboration diagram for time_periodt:
[legend]

Public Member Functions

 time_periodt ()
 
 time_periodt (unsigned long long _t)
 
std::string as_string () const
 
time_periodtoperator+= (const time_periodt &other)
 
time_periodt operator+ (const time_periodt &other)
 
time_periodt operator- (const time_periodt &other)
 
- Public Member Functions inherited from fine_timet
 fine_timet ()
 
 fine_timet (unsigned long long _t)
 
unsigned long long get_t () const
 
void clear ()
 

Additional Inherited Members

- Protected Attributes inherited from fine_timet
unsigned long long t
 

Detailed Description

Definition at line 45 of file time_stopping.h.

Constructor & Destructor Documentation

◆ time_periodt() [1/2]

time_periodt::time_periodt ( )
inline

Definition at line 48 of file time_stopping.h.

Referenced by operator-().

◆ time_periodt() [2/2]

time_periodt::time_periodt ( unsigned long long  _t)
inlineexplicit

Definition at line 52 of file time_stopping.h.

Member Function Documentation

◆ as_string()

std::string time_periodt::as_string ( ) const

Definition at line 64 of file time_stopping.cpp.

Referenced by timert::output_latest_time(), and timert::output_total_time().

◆ operator+()

time_periodt time_periodt::operator+ ( const time_periodt other)
inline

Definition at line 64 of file time_stopping.h.

References fine_timet::t.

◆ operator+=()

time_periodt& time_periodt::operator+= ( const time_periodt other)
inline

Definition at line 58 of file time_stopping.h.

References fine_timet::t.

◆ operator-()

time_periodt time_periodt::operator- ( const time_periodt other)
inline

Definition at line 71 of file time_stopping.h.

References fine_timet::t, and time_periodt().


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