|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <toml.hpp>
Public Member Functions | |
| TOML_PURE_INLINE_GETTER constexpr | operator const char32_t & () const noexcept |
| TOML_PURE_INLINE_GETTER constexpr const char32_t & | operator* () const noexcept |
Public Attributes | |
| char32_t | value |
| char | bytes [4] |
| size_t | count |
| source_position | position |
|
inlineconstexprnoexcept |
|
inlineconstexprnoexcept |
| char utf8_codepoint::bytes[4] |
| size_t utf8_codepoint::count |
| source_position utf8_codepoint::position |
| char32_t utf8_codepoint::value |