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

#include <toml.hpp>

Public Member Functions

TOML_NODISCARD_CTOR date_time () noexcept=default
TOML_NODISCARD_CTOR constexpr date_time (const toml::date &d, const toml::time &t) noexcept
TOML_NODISCARD_CTOR constexpr date_time (const toml::date &d) noexcept
TOML_NODISCARD_CTOR constexpr date_time (const toml::time &t) noexcept
TOML_NODISCARD_CTOR constexpr date_time (const toml::date &d, const toml::time &t, const toml::time_offset &off) noexcept
TOML_PURE_INLINE_GETTER constexpr bool is_local () const noexcept

Public Attributes

toml::date date
toml::time time
optional< toml::time_offset > offset

Friends

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

Constructor & Destructor Documentation

◆ date_time() [1/5]

TOML_NODISCARD_CTOR date_time::date_time ( )
defaultnoexcept

◆ date_time() [2/5]

TOML_NODISCARD_CTOR constexpr date_time::date_time ( const toml::date & d,
const toml::time & t )
inlineconstexprnoexcept

◆ date_time() [3/5]

TOML_NODISCARD_CTOR constexpr date_time::date_time ( const toml::date & d)
inlineexplicitconstexprnoexcept

◆ date_time() [4/5]

TOML_NODISCARD_CTOR constexpr date_time::date_time ( const toml::time & t)
inlineexplicitconstexprnoexcept

◆ date_time() [5/5]

TOML_NODISCARD_CTOR constexpr date_time::date_time ( const toml::date & d,
const toml::time & t,
const toml::time_offset & off )
inlineconstexprnoexcept

Member Function Documentation

◆ is_local()

TOML_PURE_INLINE_GETTER constexpr bool date_time::is_local ( ) const
inlineconstexprnoexcept

◆ operator!=

TOML_PURE_INLINE_GETTER friend constexpr bool operator!= ( const date_time & lhs,
const date_time & rhs )
friend

◆ operator<

TOML_PURE_GETTER friend constexpr bool operator< ( const date_time & lhs,
const date_time & rhs )
friend

◆ operator<<

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

◆ operator<=

TOML_PURE_GETTER friend constexpr bool operator<= ( const date_time & lhs,
const date_time & rhs )
friend

◆ operator==

TOML_PURE_GETTER friend constexpr bool operator== ( const date_time & lhs,
const date_time & rhs )
friend

◆ operator>

TOML_PURE_INLINE_GETTER friend constexpr bool operator> ( const date_time & lhs,
const date_time & rhs )
friend

◆ operator>=

TOML_PURE_INLINE_GETTER friend constexpr bool operator>= ( const date_time & lhs,
const date_time & rhs )
friend

Member Data Documentation

◆ date

toml::date date_time::date

◆ offset

optional<toml::time_offset> date_time::offset

◆ time

toml::time date_time::time
The documentation for this struct was generated from the following file: