cprover
time_stopping.h File Reference

Time Stopping. More...

#include <iosfwd>
#include <string>
Include dependency graph for time_stopping.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  fine_timet
 
class  time_periodt
 
class  absolute_timet
 

Functions

absolute_timet current_time ()
 
std::ostream & operator<< (std::ostream &, const time_periodt &)
 

Detailed Description

Time Stopping.

Definition in file time_stopping.h.

Function Documentation

◆ current_time()

◆ operator<<()

std::ostream& operator<< ( std::ostream &  ,
const time_periodt  
)

Definition at line 59 of file time_stopping.cpp.

References fine_timet::get_t().