|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| TOML_NODISCARD_CTOR | utf8_byte_stream (std::istream &stream) noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) |
| TOML_PURE_INLINE_GETTER bool | error () const noexcept |
| TOML_PURE_INLINE_GETTER bool | eof () const noexcept |
| TOML_PURE_INLINE_GETTER | operator bool () const noexcept |
| TOML_NODISCARD bool | peek_eof () const noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) |
| TOML_NODISCARD size_t | operator() (void *dest, size_t num) noexcept(!TOML_COMPILER_HAS_EXCEPTIONS) |
|
inlineexplicitnoexcept |
|
inlinenoexcept |
|
inlinenoexcept |
|
inlineexplicitnoexcept |
|
inlinenoexcept |
|
inlinenoexcept |