cprover
|
Time Stopping. More...
#include <iosfwd>
#include <string>
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 &) |
Time Stopping.
Definition in file time_stopping.h.
absolute_timet current_time | ( | ) |
Definition at line 47 of file time_stopping.cpp.
Referenced by symex_coveraget::build_cobertura(), build_goto_trace(), path_searcht::check_assertion(), path_searcht::drop_state(), path_searcht::is_feasible(), bmc_all_propertiest::operator()(), path_searcht::operator()(), bmc_covert::operator()(), path_searcht::report_statistics(), bmct::run_decision_procedure(), fault_localizationt::run_decision_procedure(), timert::start(), and timert::stop().
std::ostream& operator<< | ( | std::ostream & | , |
const time_periodt & | |||
) |
Definition at line 59 of file time_stopping.cpp.
References fine_timet::get_t().