ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
time_offset Struct Reference

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR time_offset () noexcept=default
 TOML_CONSTRAINED_TEMPLATE ((impl::all_integral< H, M >), typename H, typename M) TOML_NODISCARD_CTOR const expr time_offset(H h
M m M (h) *impl

Public Attributes

int16_t minutes
M m noexcept: minutes{static_cast<int16_t>( static_cast<impl::common_signed_type<H

Friends

TOML_PURE_INLINE_GETTER friend constexpr bool operator== (time_offset lhs, time_offset rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator!= (time_offset lhs, time_offset rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator< (time_offset lhs, time_offset rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator<= (time_offset lhs, time_offset rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator> (time_offset lhs, time_offset rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator>= (time_offset lhs, time_offset rhs) noexcept
std::ostream & operator<< (std::ostream &lhs, const time_offset &rhs)

Constructor & Destructor Documentation

◆ time_offset()

TOML_NODISCARD_CTOR time_offset::time_offset ( )
defaultnoexcept

Member Function Documentation

◆ M()

M m time_offset::M ( h )
inline

◆ TOML_CONSTRAINED_TEMPLATE()

time_offset::TOML_CONSTRAINED_TEMPLATE ( (impl::all_integral< H, M >) ,
typename H ,
typename M  ) const

◆ operator!=

TOML_PURE_INLINE_GETTER friend constexpr bool operator!= ( time_offset lhs,
time_offset rhs )
friend

◆ operator<

TOML_PURE_INLINE_GETTER friend constexpr bool operator< ( time_offset lhs,
time_offset rhs )
friend

◆ operator<<

std::ostream & operator<< ( std::ostream & lhs,
const time_offset & rhs )
friend

◆ operator<=

TOML_PURE_INLINE_GETTER friend constexpr bool operator<= ( time_offset lhs,
time_offset rhs )
friend

◆ operator==

TOML_PURE_INLINE_GETTER friend constexpr bool operator== ( time_offset lhs,
time_offset rhs )
friend

◆ operator>

TOML_PURE_INLINE_GETTER friend constexpr bool operator> ( time_offset lhs,
time_offset rhs )
friend

◆ operator>=

TOML_PURE_INLINE_GETTER friend constexpr bool operator>= ( time_offset lhs,
time_offset rhs )
friend

Member Data Documentation

◆ minutes

int16_t time_offset::minutes

◆ noexcept

M m time_offset::noexcept
The documentation for this struct was generated from the following file: