cprover
time_stopping.cpp File Reference

Time Stopping. More...

#include "time_stopping.h"
#include <sstream>
#include <sys/time.h>
Include dependency graph for time_stopping.cpp:

Go to the source code of this file.

Functions

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

Detailed Description

Time Stopping.

Definition in file time_stopping.cpp.

Function Documentation

§ current_time()

§ operator<<()

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

Definition at line 59 of file time_stopping.cpp.

References fine_timet::get_t().

Referenced by absolute_timet::operator-().