CBMC
Public Member Functions | Protected Attributes | List of all members
take_time_resourcet Class Reference

Public Member Functions

 take_time_resourcet (std::chrono::time_point< std::chrono::steady_clock > &_dest)
 
 ~take_time_resourcet ()
 

Protected Attributes

std::chrono::time_point< std::chrono::steady_clock > & dest
 

Detailed Description

Definition at line 26 of file solver.cpp.

Constructor & Destructor Documentation

◆ take_time_resourcet()

take_time_resourcet::take_time_resourcet ( std::chrono::time_point< std::chrono::steady_clock > &  _dest)
inlineexplicit

Definition at line 29 of file solver.cpp.

◆ ~take_time_resourcet()

take_time_resourcet::~take_time_resourcet ( )
inline

Definition at line 35 of file solver.cpp.

Member Data Documentation

◆ dest

std::chrono::time_point<std::chrono::steady_clock>& take_time_resourcet::dest
protected

Definition at line 41 of file solver.cpp.

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