cprover
fine_timet Class Reference

#include <time_stopping.h>

Inheritance diagram for fine_timet:
[legend]

Public Member Functions

 fine_timet ()
 
 fine_timet (unsigned long long _t)
 
unsigned long long get_t () const
 
void clear ()
 

Protected Attributes

unsigned long long t
 

Detailed Description

Definition at line 20 of file time_stopping.h.

Constructor & Destructor Documentation

§ fine_timet() [1/2]

fine_timet::fine_timet ( )
inline

Definition at line 23 of file time_stopping.h.

§ fine_timet() [2/2]

fine_timet::fine_timet ( unsigned long long  _t)
inlineexplicit

Definition at line 27 of file time_stopping.h.

Member Function Documentation

§ clear()

void fine_timet::clear ( void  )
inline

Definition at line 36 of file time_stopping.h.

References t.

Referenced by timert::clear().

§ get_t()

unsigned long long fine_timet::get_t ( ) const
inline

Definition at line 31 of file time_stopping.h.

References t.

Referenced by path_searcht::drop_state(), and operator<<().

Member Data Documentation

§ t

unsigned long long fine_timet::t
protected

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