time Struct Reference

#include <toml.hpp>

Public Member Functions
TOML_NODISCARD_CTOR	time () noexcept=default
	TOML_CONSTRAINED_TEMPLATE ((impl::all_integral< H, M, S, NS >), typename H, typename M, typename S=uint8_t, typename NS=uint32_t) TOML_NODISCARD_CTOR const expr time(H h

Public Attributes
uint8_t	hour
uint8_t	minute
uint8_t	second
uint32_t	nanosecond
M	m
M S	s = S{}

Protected Attributes
float	_esbmc_time_now = 0.0

Constructor & Destructor Documentation

time()

TOML_NODISCARD_CTOR time::time ( )

defaultnoexcept

Member Function Documentation

TOML_CONSTRAINED_TEMPLATE()

time::TOML_CONSTRAINED_TEMPLATE	(	(impl::all_integral< H, M, S, NS >)	,
		typename H	,
		typename M	,
		typename S	= uint8_t,
		typename NS	= uint32_t ) const

Member Data Documentation

_esbmc_time_now

float time._esbmc_time_now = 0.0

protected

hour

uint8_t time::hour

m

M time::m

minute

uint8_t time::minute

nanosecond

uint32_t time::nanosecond

s

M S time::s = S{}

second

uint8_t time::second

---

The documentation for this struct was generated from the following files:

• src/lib/toml.hpp
• src/python-frontend/models/time.py