ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
literals Namespace Reference

Functions

TOML_NODISCARD TOML_ALWAYS_INLINE path operator""_tpath (const char *str, size_t len)
 TOML_ABI_NAMESPACE_BOOL (TOML_EXCEPTIONS, lit_ex, lit_noex)
TOML_NODISCARD TOML_ALWAYS_INLINE parse_result operator""_toml (const char *str, size_t len)

Variables

 TOML_ABI_NAMESPACE_END

Function Documentation

◆ operator""_toml()

TOML_NODISCARD TOML_ALWAYS_INLINE parse_result literals::operator""_toml ( const char * str,
size_t len )

◆ operator""_tpath()

TOML_NODISCARD TOML_ALWAYS_INLINE path literals::operator""_tpath ( const char * str,
size_t len )

◆ TOML_ABI_NAMESPACE_BOOL()

literals::TOML_ABI_NAMESPACE_BOOL ( TOML_EXCEPTIONS ,
lit_ex ,
lit_noex  )

Variable Documentation

◆ TOML_ABI_NAMESPACE_END

literals::TOML_ABI_NAMESPACE_END