cprover
absolute_timet Class Reference

#include <time_stopping.h>

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

Public Member Functions

 absolute_timet ()
 
 absolute_timet (unsigned long long _t)
 
time_periodt operator- (const absolute_timet &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 77 of file time_stopping.h.

Constructor & Destructor Documentation

§ absolute_timet() [1/2]

absolute_timet::absolute_timet ( )
inline

Definition at line 80 of file time_stopping.h.

§ absolute_timet() [2/2]

absolute_timet::absolute_timet ( unsigned long long  _t)
inlineexplicit

Definition at line 84 of file time_stopping.h.

Member Function Documentation

§ operator-()

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

Definition at line 88 of file time_stopping.h.

References current_time(), operator<<(), and fine_timet::t.


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